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



Bits error versus pi



Bits error versus x



Bits error versus n
Results
Initial program 26.9
Final simplification26.9
herbie shell --seed 2020152
(FPCore (pi x n)
:name "(/ (/ (* pi (pow x (- 1 n))) n) (sin (/ pi n)))"
:precision binary64
(/ (/ (* pi (pow x (- 1.0 n))) n) (sin (/ pi n))))