\frac{1}{\sin \left(\cos x \cdot pi\right)}\frac{1}{\sin \left(\cos x \cdot pi\right)}double code(double x, double pi) {
return ((double) (1.0 / ((double) sin(((double) (((double) cos(x)) * pi))))));
}
double code(double x, double pi) {
return ((double) (1.0 / ((double) sin(((double) (((double) cos(x)) * pi))))));
}



Bits error versus x



Bits error versus pi
Results
Initial program 17.7
Final simplification17.7
herbie shell --seed 2020153
(FPCore (x pi)
:name "(/ 1 (sin (* (cos x) pi)))"
:precision binary64
(/ 1.0 (sin (* (cos x) pi))))