\frac{e^{x} - e^{-x}}{2}\frac{{x}^{5} \cdot \frac{1}{60} + \left(2 + \frac{1}{3} \cdot \left(x \cdot x\right)\right) \cdot x}{2}double f(double x) {
double r2265074 = x;
double r2265075 = exp(r2265074);
double r2265076 = -r2265074;
double r2265077 = exp(r2265076);
double r2265078 = r2265075 - r2265077;
double r2265079 = 2.0;
double r2265080 = r2265078 / r2265079;
return r2265080;
}
double f(double x) {
double r2265081 = x;
double r2265082 = 5.0;
double r2265083 = pow(r2265081, r2265082);
double r2265084 = 0.016666666666666666;
double r2265085 = r2265083 * r2265084;
double r2265086 = 2.0;
double r2265087 = 0.3333333333333333;
double r2265088 = r2265081 * r2265081;
double r2265089 = r2265087 * r2265088;
double r2265090 = r2265086 + r2265089;
double r2265091 = r2265090 * r2265081;
double r2265092 = r2265085 + r2265091;
double r2265093 = r2265092 / r2265086;
return r2265093;
}



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