\frac{0.75 \cdot {\left(C + R\right)}^{2}}{C + 2 \cdot R}\frac{0.75 \cdot {\left(C + R\right)}^{2}}{C + 2 \cdot R}double code(double C, double R) {
return ((double) (((double) (0.75 * ((double) pow(((double) (C + R)), 2.0)))) / ((double) (C + ((double) (2.0 * R))))));
}
double code(double C, double R) {
return ((double) (((double) (0.75 * ((double) pow(((double) (C + R)), 2.0)))) / ((double) (C + ((double) (2.0 * R))))));
}



Bits error versus C



Bits error versus R
Results
Initial program 31.9
Final simplification31.9
herbie shell --seed 2020153
(FPCore (C R)
:name "(/ (* 0.75 (pow (+ C R) 2)) (+ C (* 2 R)))"
:precision binary64
(/ (* 0.75 (pow (+ C R) 2.0)) (+ C (* 2.0 R))))