\frac{\sqrt{99}}{43.3699999999999974}\frac{\sqrt{99}}{43.3699999999999974}double code() {
return ((double) (((double) sqrt(99.0)) / 43.37));
}
double code() {
return ((double) (((double) sqrt(99.0)) / 43.37));
}
Results
Initial program 0
Final simplification0
herbie shell --seed 2020152
(FPCore ()
:name "(/ (sqrt 99) 43.37)"
:precision binary64
(/ (sqrt 99.0) 43.37))