\frac{1 - e^{x \cdot y}}{x}\frac{1 - e^{x \cdot y}}{x}double code(double x, double y) {
return ((double) (((double) (1.0 - ((double) exp(((double) (x * y)))))) / x));
}
double code(double x, double y) {
return ((double) (((double) (1.0 - ((double) exp(((double) (x * y)))))) / x));
}



Bits error versus x



Bits error versus y
Results
Initial program 39.4
Final simplification39.4
herbie shell --seed 2020153
(FPCore (x y)
:name "(/ (- 1 (exp (* x y))) x)"
:precision binary64
(/ (- 1.0 (exp (* x y))) x))