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



Bits error versus x



Bits error versus n



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