\left(1 \cdot 0.299999999999999989 + 100\right) - \frac{1.1000000000000001}{41.122}\left(1 \cdot 0.299999999999999989 + 100\right) - \frac{1.1000000000000001}{41.122}double code() {
return ((double) (((double) (((double) (1.0 * 0.3)) + 100.0)) - ((double) (1.1 / 41.122))));
}
double code() {
return ((double) (((double) (((double) (1.0 * 0.3)) + 100.0)) - ((double) (1.1 / 41.122))));
}
Results
Initial program 0
Final simplification0
herbie shell --seed 2020153
(FPCore ()
:name "(- (+ (* 1 0.3) 100) (/ 1.1 41.122))"
:precision binary64
(- (+ (* 1.0 0.3) 100.0) (/ 1.1 41.122)))