\frac{e^{x} - e^{-x}}{2}\frac{{x}^{5} \cdot \frac{1}{60} + x \cdot \left(2 + \left(x \cdot x\right) \cdot \frac{1}{3}\right)}{2}double f(double x) {
double r2541696 = x;
double r2541697 = exp(r2541696);
double r2541698 = -r2541696;
double r2541699 = exp(r2541698);
double r2541700 = r2541697 - r2541699;
double r2541701 = 2.0;
double r2541702 = r2541700 / r2541701;
return r2541702;
}
double f(double x) {
double r2541703 = x;
double r2541704 = 5.0;
double r2541705 = pow(r2541703, r2541704);
double r2541706 = 0.016666666666666666;
double r2541707 = r2541705 * r2541706;
double r2541708 = 2.0;
double r2541709 = r2541703 * r2541703;
double r2541710 = 0.3333333333333333;
double r2541711 = r2541709 * r2541710;
double r2541712 = r2541708 + r2541711;
double r2541713 = r2541703 * r2541712;
double r2541714 = r2541707 + r2541713;
double r2541715 = r2541714 / r2541708;
return r2541715;
}



Bits error versus x
Results
Initial program 58.1
Taylor expanded around 0 0.6
Simplified0.6
Final simplification0.6
herbie shell --seed 2019152
(FPCore (x)
:name "Hyperbolic sine"
(/ (- (exp x) (exp (- x))) 2))