\left({x}^{\left(\frac{1}{3}\right)} - {\left(x + 1\right)}^{\left(\frac{1}{3}\right)}\right) - time\left({x}^{\left(\frac{1}{3}\right)} - {\left(x + 1\right)}^{\left(\frac{1}{3}\right)}\right) - timedouble code(double x, double time) {
return ((double) (((double) (((double) pow(x, ((double) (1.0 / 3.0)))) - ((double) pow(((double) (x + 1.0)), ((double) (1.0 / 3.0)))))) - time));
}
double code(double x, double time) {
return ((double) (((double) (((double) pow(x, ((double) (1.0 / 3.0)))) - ((double) pow(((double) (x + 1.0)), ((double) (1.0 / 3.0)))))) - time));
}



Bits error versus x



Bits error versus time
Results
Initial program 9.6
Final simplification9.6
herbie shell --seed 2020152
(FPCore (x time)
:name "(- (- (pow x (/ 1 3)) (pow (+ x 1) (/ 1 3))) time)"
:precision binary64
(- (- (pow x (/ 1.0 3.0)) (pow (+ x 1.0) (/ 1.0 3.0))) time))