\frac{{x}^{5} - y}{5 \cdot {x}^{4}}\frac{{x}^{5} - y}{5 \cdot {x}^{4}}double code(double x, double y) {
return ((double) (((double) (((double) pow(x, 5.0)) - y)) / ((double) (5.0 * ((double) pow(x, 4.0))))));
}
double code(double x, double y) {
return ((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.7
Final simplification43.7
herbie shell --seed 2020152
(FPCore (x y)
:name "(/ (- (pow x 5) y) (* 5 (pow x 4)))"
:precision binary64
(/ (- (pow x 5.0) y) (* 5.0 (pow x 4.0))))