\frac{{e}^{x} - 1}{x}\frac{{e}^{x} - 1}{x}double code(double e, double x) {
return ((double) (((double) (((double) pow(e, x)) - 1.0)) / x));
}
double code(double e, double x) {
return ((double) (((double) (((double) pow(e, x)) - 1.0)) / x));
}



Bits error versus e



Bits error versus x
Results
Initial program 30.1
Final simplification30.1
herbie shell --seed 2020153
(FPCore (e x)
:name "(/ (- (pow e x) 1) x)"
:precision binary64
(/ (- (pow e x) 1.0) x))