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



Bits error versus e



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