\sqrt{10^{14} + {0.10000000000000001}^{2}}\sqrt{10^{14} + {0.10000000000000001}^{2}}double code() {
return ((double) sqrt(((double) (1e+14 + ((double) pow(0.1, 2.0))))));
}
double code() {
return ((double) sqrt(((double) (1e+14 + ((double) pow(0.1, 2.0))))));
}
Results
Initial program 0
Final simplification0
herbie shell --seed 2020152
(FPCore ()
:name "(sqrt (+ 1e+14 (pow 0.1 2)))"
:precision binary64
(sqrt (+ 1e+14 (pow 0.1 2.0))))