\frac{\frac{\frac{\frac{1}{a}}{b}}{c}}{d}\frac{\frac{\frac{\frac{1}{a}}{b}}{c}}{d}double code(double a, double b, double c, double d) {
return ((double) (((double) (((double) (((double) (1.0 / a)) / b)) / c)) / d));
}
double code(double a, double b, double c, double d) {
return ((double) (((double) (((double) (((double) (1.0 / a)) / b)) / c)) / d));
}



Bits error versus a



Bits error versus b



Bits error versus c



Bits error versus d
Results
Initial program 11.1
Final simplification11.1
herbie shell --seed 2020152
(FPCore (a b c d)
:name "(/ (/ (/ (/ 1 a) b) c) d)"
:precision binary64
(/ (/ (/ (/ 1.0 a) b) c) d))