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



Bits error versus x
Results
Initial program 39.8
Final simplification39.8
herbie shell --seed 2020153
(FPCore (x)
:name "(sqrt (/ (- (exp x) 1) x))"
:precision binary64
(sqrt (/ (- (exp x) 1.0) x)))