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



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