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



Bits error versus y



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