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



Bits error versus x
Results
Initial program 0.2
Final simplification0.2
herbie shell --seed 2020153
(FPCore (x)
:name "(atan (exp (/ 1.0 (sin x))))"
:precision binary64
(atan (exp (/ 1.0 (sin x)))))