\left(e^{2} - e^{2.10000000000000009}\right) + 1\left(e^{2} - e^{2.10000000000000009}\right) + 1double code() {
return ((double) (((double) (((double) exp(2.0)) - ((double) exp(2.1)))) + 1.0));
}
double code() {
return ((double) (((double) (((double) exp(2.0)) - ((double) exp(2.1)))) + 1.0));
}
Results
Initial program 4.7
Final simplification4.7
herbie shell --seed 2020153
(FPCore ()
:name "(+ (- (exp 2) (exp 2.1)) 1)"
:precision binary64
(+ (- (exp 2.0) (exp 2.1)) 1.0))