\frac{e^{x} - e^{-x}}{2}\frac{e^{x} - e^{-x}}{2}(FPCore (x) :precision binary64 (/ (- (exp x) (exp (- x))) 2.0))
(FPCore (x) :precision binary64 (/ (- (exp x) (exp (- x))) 2.0))
double code(double x) {
return (exp(x) - exp(-x)) / 2.0;
}
double code(double x) {
return (exp(x) - exp(-x)) / 2.0;
}



Bits error versus x
Results
Initial program 58.1
herbie shell --seed 2021042
(FPCore (x)
:name "Hyperbolic sine"
:precision binary64
(/ (- (exp x) (exp (- x))) 2.0))