e^{\sin x + \cos x}e^{\sin x + \cos x}double code(double x) {
return ((double) exp(((double) (((double) sin(x)) + ((double) cos(x))))));
}
double code(double x) {
return ((double) exp(((double) (((double) sin(x)) + ((double) cos(x))))));
}



Bits error versus x
Results
Initial program 0.2
Final simplification0.2
herbie shell --seed 2020152
(FPCore (x)
:name "(exp (+ (sin x) (cos x)))"
:precision binary64
(exp (+ (sin x) (cos x))))