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



Bits error versus x
Results
Initial program 0.4
Final simplification0.4
herbie shell --seed 2020152
(FPCore (x)
:name "(/ 1.0 (sin (/ 1.0 (sin (exp x)))))"
:precision binary64
(/ 1.0 (sin (/ 1.0 (sin (exp x))))))