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



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