{\left(x + h\right)}^{3} - {x}^{3}{\left(x + h\right)}^{3} - {x}^{3}double code(double x, double h) {
return ((double) (((double) pow(((double) (x + h)), 3.0)) - ((double) pow(x, 3.0))));
}
double code(double x, double h) {
return ((double) (((double) pow(((double) (x + h)), 3.0)) - ((double) pow(x, 3.0))));
}



Bits error versus x



Bits error versus h
Results
Initial program 27.9
Final simplification27.9
herbie shell --seed 2020153
(FPCore (x h)
:name "(- (pow (+ x h) 3) (pow x 3))"
:precision binary64
(- (pow (+ x h) 3.0) (pow x 3.0)))