e^{x} - \frac{\sin \left(x - 3\right)}{\log \left(x \cdot x\right)}e^{x} - \frac{\sin \left(x - 3\right)}{\log \left(x \cdot x\right)}double code(double x) {
return ((double) (((double) exp(x)) - ((double) (((double) sin(((double) (x - 3.0)))) / ((double) log(((double) (x * x))))))));
}
double code(double x) {
return ((double) (((double) exp(x)) - ((double) (((double) sin(((double) (x - 3.0)))) / ((double) log(((double) (x * x))))))));
}



Bits error versus x
Results
Initial program 32.3
Final simplification32.3
herbie shell --seed 2020152
(FPCore (x)
:name "(- (exp x) (/ (sin (- x 3)) (log (* x x))))"
:precision binary64
(- (exp x) (/ (sin (- x 3.0)) (log (* x x)))))