xi - \frac{{xi}^{n} - x}{n \cdot xi}xi - \frac{{xi}^{n} - x}{n \cdot xi}double code(double xi, double n, double x) {
return ((double) (xi - ((double) (((double) (((double) pow(xi, n)) - x)) / ((double) (n * xi))))));
}
double code(double xi, double n, double x) {
return ((double) (xi - ((double) (((double) (((double) pow(xi, n)) - x)) / ((double) (n * xi))))));
}



Bits error versus xi



Bits error versus n



Bits error versus x
Results
Initial program 0.1
Final simplification0.1
herbie shell --seed 2020153
(FPCore (xi n x)
:name "(- xi (/ (- (pow xi n) x) (* n xi)))"
:precision binary64
(- xi (/ (- (pow xi n) x) (* n xi))))