about summary refs log tree commit diff
path: root/src/rustllvm/RustWrapper.cpp
diff options
context:
space:
mode:
authorBenjamin Saunders <ben.e.saunders@gmail.com>2020-05-22 20:49:20 -0700
committerBenjamin Saunders <ben.e.saunders@gmail.com>2020-05-24 00:03:35 -0700
commit730f7366bba5abdf5ae0c2f1222795e40d48f90c (patch)
tree84536380e5fc3796d268a5f3e7ed9c0e770bd9de /src/rustllvm/RustWrapper.cpp
parent215f2d3294b08dbdcf8f7d40de21ef1e7eae0a2d (diff)
downloadrust-730f7366bba5abdf5ae0c2f1222795e40d48f90c.tar.gz
rust-730f7366bba5abdf5ae0c2f1222795e40d48f90c.zip
Fix asinh of negative values
When `x` has large magnitude, `x + ((x * x) + 1.0).sqrt()` approaches
`x + x.abs()`. For negative values of `x`, this leads to catastrophic
cancellation, resulting in large errors or even 0 being passed to
`ln`, producing incorrect results including `-inf`.

Becuase asinh is an odd function, i.e. -asinh(x) = asinh(-x) for all
x, we can avoid the catastrophic cancellation and obtain correct
results by taking the absolute value of `self` for the first
term. `self * self` is always positive, so in effect this gives us
`x.abs().asinh().copysign(x)` which as discussed above is
algebraically equivalent, but is much more accurate.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions