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



Bits error versus y



Bits error versus n



Bits error versus x
Results
Initial program 1.8
Final simplification1.8
herbie shell --seed 2020153
(FPCore (y n x)
:name "(- y (/ (- (pow y n) x) (* n (pow y (- n 1)))))"
:precision binary64
(- y (/ (- (pow y n) x) (* n (pow y (- n 1.0))))))