\sqrt{{\left(3.2999999999999998 + 0.69999999999999996\right)}^{2} + {\left(3.0099999999999998 - 0.0100000000000000002\right)}^{2}}\sqrt{{\left(3.2999999999999998 + 0.69999999999999996\right)}^{2} + {\left(3.0099999999999998 - 0.0100000000000000002\right)}^{2}}double code() {
return ((double) sqrt(((double) (((double) pow(((double) (3.3 + 0.7)), 2.0)) + ((double) pow(((double) (3.01 - 0.01)), 2.0))))));
}
double code() {
return ((double) sqrt(((double) (((double) pow(((double) (3.3 + 0.7)), 2.0)) + ((double) pow(((double) (3.01 - 0.01)), 2.0))))));
}
Results
Initial program 0
Final simplification0
herbie shell --seed 2020152
(FPCore ()
:name "(sqrt (+ (pow (+ 3.3 0.7) 2) (pow (- 3.01 0.01) 2)))"
:precision binary64
(sqrt (+ (pow (+ 3.3 0.7) 2.0) (pow (- 3.01 0.01) 2.0))))