\frac{pi}{\sin \left(\frac{pi}{x}\right)}\frac{pi}{\sin \left(\frac{pi}{x}\right)}double code(double pi, double x) {
return ((double) (pi / ((double) sin(((double) (pi / x))))));
}
double code(double pi, double x) {
return ((double) (pi / ((double) sin(((double) (pi / x))))));
}



Bits error versus pi



Bits error versus x
Results
Initial program 36.1
Final simplification36.1
herbie shell --seed 2020152
(FPCore (pi x)
:name "(/ pi (sin (/ pi x)))"
:precision binary64
(/ pi (sin (/ pi x))))