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



Bits error versus x



Bits error versus n



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