x - \frac{{x}^{5} - y}{5 \cdot {x}^{4}}x - \frac{{x}^{5} - y}{5 \cdot {x}^{4}}double code(double x, double y) {
return ((double) (x - ((double) (((double) (((double) pow(x, 5.0)) - y)) / ((double) (5.0 * ((double) pow(x, 4.0))))))));
}
double code(double x, double y) {
return ((double) (x - ((double) (((double) (((double) pow(x, 5.0)) - y)) / ((double) (5.0 * ((double) pow(x, 4.0))))))));
}



Bits error versus x



Bits error versus y
Results
Initial program 43.6
Final simplification43.6
herbie shell --seed 2020153
(FPCore (x y)
:name "(- x (/ (- (pow x 5) y) (* 5 (pow x 4))))"
:precision binary64
(- x (/ (- (pow x 5.0) y) (* 5.0 (pow x 4.0)))))