\sqrt{e^{x} + 2 \cdot \sin \left(\log x\right)}\sqrt{e^{x} + 2 \cdot \sin \left(\log x\right)}double code(double x) {
return ((double) sqrt(((double) (((double) exp(x)) + ((double) (2.0 * ((double) sin(((double) log(x))))))))));
}
double code(double x) {
return ((double) sqrt(((double) (((double) exp(x)) + ((double) (2.0 * ((double) sin(((double) log(x))))))))));
}



Bits error versus x
Results
Initial program 4.7
Final simplification4.7
herbie shell --seed 2020153
(FPCore (x)
:name "(sqrt (+ (exp x) (* 2 (sin (log x)))))"
:precision binary64
(sqrt (+ (exp x) (* 2.0 (sin (log x))))))