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



Bits error versus x
Results
Initial program 60.2
Simplified58.6
Final simplification58.6
herbie shell --seed 2020153
(FPCore (x)
:name "(/ (- (exp x) 1) (log (exp x)))"
:precision binary64
(/ (- (exp x) 1.0) (log (exp x))))