\frac{211 \cdot {u}^{\left(\frac{5}{12}\right)} - 11}{200}\frac{211 \cdot {u}^{\left(\frac{5}{12}\right)} - 11}{200}double code(double u) {
return ((double) (((double) (((double) (211.0 * ((double) pow(u, ((double) (5.0 / 12.0)))))) - 11.0)) / 200.0));
}
double code(double u) {
return ((double) (((double) (((double) (211.0 * ((double) pow(u, ((double) (5.0 / 12.0)))))) - 11.0)) / 200.0));
}



Bits error versus u
Results
Initial program 2.6
Final simplification2.6
herbie shell --seed 2020152
(FPCore (u)
:name "(/ (- (* 211 (pow u (/ 5 12))) 11) 200)"
:precision binary64
(/ (- (* 211.0 (pow u (/ 5.0 12.0))) 11.0) 200.0))