\frac{0.10000000000000001}{{\left(\varepsilon + {10}^{6}\right)}^{2}}\frac{0.10000000000000001}{{\left(\varepsilon + {10}^{6}\right)}^{2}}double code(double eps) {
return ((double) (0.1 / ((double) pow(((double) (eps + ((double) pow(10.0, 6.0)))), 2.0))));
}
double code(double eps) {
return ((double) (0.1 / ((double) pow(((double) (eps + ((double) pow(10.0, 6.0)))), 2.0))));
}



Bits error versus eps
Results
Initial program 0.3
Final simplification0.3
herbie shell --seed 2020153
(FPCore (eps)
:name "(/ 0.1 (pow (+ eps (pow 10 6)) 2))"
:precision binary64
(/ 0.1 (pow (+ eps (pow 10.0 6.0)) 2.0)))