\left(1 + 0.0550000000000000003\right) \cdot {x}^{\left(\frac{1}{2.39999999999999991}\right)} - 0.0550000000000000003\left(1 + 0.0550000000000000003\right) \cdot {x}^{\left(\frac{1}{2.39999999999999991}\right)} - 0.0550000000000000003double code(double x) {
return ((double) (((double) (((double) (1.0 + 0.055)) * ((double) pow(x, ((double) (1.0 / 2.4)))))) - 0.055));
}
double code(double x) {
return ((double) (((double) (((double) (1.0 + 0.055)) * ((double) pow(x, ((double) (1.0 / 2.4)))))) - 0.055));
}



Bits error versus x
Results
Initial program 1.3
Final simplification1.3
herbie shell --seed 2020152
(FPCore (x)
:name "(- (* (+ 1 0.055) (pow x (/ 1.0 2.4))) 0.055)"
:precision binary64
(- (* (+ 1.0 0.055) (pow x (/ 1.0 2.4))) 0.055))