\frac{e^{x} - e^{-x}}{e^{x} + e^{-x}}{x}^{5} \cdot \frac{2}{15} + \left(x + \frac{-1}{3} \cdot \left(\left(x \cdot x\right) \cdot x\right)\right)double f(double x) {
double r2424442 = x;
double r2424443 = exp(r2424442);
double r2424444 = -r2424442;
double r2424445 = exp(r2424444);
double r2424446 = r2424443 - r2424445;
double r2424447 = r2424443 + r2424445;
double r2424448 = r2424446 / r2424447;
return r2424448;
}
double f(double x) {
double r2424449 = x;
double r2424450 = 5.0;
double r2424451 = pow(r2424449, r2424450);
double r2424452 = 0.13333333333333333;
double r2424453 = r2424451 * r2424452;
double r2424454 = -0.3333333333333333;
double r2424455 = r2424449 * r2424449;
double r2424456 = r2424455 * r2424449;
double r2424457 = r2424454 * r2424456;
double r2424458 = r2424449 + r2424457;
double r2424459 = r2424453 + r2424458;
return r2424459;
}



Bits error versus x
Results
Initial program 58.4
Taylor expanded around 0 1.6
Simplified1.6
Final simplification1.6
herbie shell --seed 2019149
(FPCore (x)
:name "Hyperbolic tangent"
(/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))