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



Bits error versus y



Bits error versus n



Bits error versus x
Results
Initial program 0.4
Final simplification0.4
herbie shell --seed 2020152
(FPCore (y n x)
:name "(- y (/ (- (pow y n) x) (- (* n (pow y (- n 1))) 1)))"
:precision binary64
(- y (/ (- (pow y n) x) (- (* n (pow y (- n 1.0))) 1.0))))