1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{2}}}}1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{2}}}}double code() {
return ((double) (1.0 + ((double) (1.0 / ((double) (1.0 + ((double) (1.0 / ((double) (1.0 + ((double) (1.0 / ((double) (1.0 + ((double) (1.0 / 2.0))))))))))))))));
}
double code() {
return ((double) (1.0 + ((double) (1.0 / ((double) (1.0 + ((double) (1.0 / ((double) (1.0 + ((double) (1.0 / ((double) (1.0 + ((double) (1.0 / 2.0))))))))))))))));
}
Results
Initial program 0
Final simplification0
herbie shell --seed 2020153
(FPCore ()
:name "(+ 1.0 (/ 1.0 (+ 1.0 (/ 1.0 (+ 1.0 (/ 1.0 (+ 1.0 (/ 1.0 2.0))))))))"
:precision binary64
(+ 1.0 (/ 1.0 (+ 1.0 (/ 1.0 (+ 1.0 (/ 1.0 (+ 1.0 (/ 1.0 2.0)))))))))