e^{\sin \left(x + 1\right)}e^{\sin \left(x + 1\right)}double code(double x) {
return ((double) exp(((double) sin(((double) (x + 1.0))))));
}
double code(double x) {
return ((double) exp(((double) sin(((double) (x + 1.0))))));
}



Bits error versus x
Results
Initial program 24.5
Final simplification24.5
herbie shell --seed 2020153
(FPCore (x)
:name "(exp (sin (+ x 1)))"
:precision binary64
(exp (sin (+ x 1.0))))