\frac{2 \cdot \left(\left(e^{x} - 1\right) - x\right)}{x \cdot x}\frac{2 \cdot \left(\left(e^{x} - 1\right) - x\right)}{x \cdot x}double code(double x) {
return ((double) (((double) (2.0 * ((double) (((double) (((double) exp(x)) - 1.0)) - x)))) / ((double) (x * x))));
}
double code(double x) {
return ((double) (((double) (2.0 * ((double) (((double) (((double) exp(x)) - 1.0)) - x)))) / ((double) (x * x))));
}



Bits error versus x
Results
Initial program 51.1
Final simplification51.1
herbie shell --seed 2020152
(FPCore (x)
:name "(/ (* 2.0 (- (- (exp x) 1.0) x)) (* x x))"
:precision binary64
(/ (* 2.0 (- (- (exp x) 1.0) x)) (* x x)))