\frac{\left(2 \cdot {b}^{3} - 9 \cdot abc\right) + 27 \cdot \left({a}^{2} \cdot d\right)}{27 \cdot {a}^{3}}\frac{\left(2 \cdot {b}^{3} - 9 \cdot abc\right) + 27 \cdot \left({a}^{2} \cdot d\right)}{27 \cdot {a}^{3}}double code(double b, double abc, double a, double d) {
return ((double) (((double) (((double) (((double) (2.0 * ((double) pow(b, 3.0)))) - ((double) (9.0 * abc)))) + ((double) (27.0 * ((double) (((double) pow(a, 2.0)) * d)))))) / ((double) (27.0 * ((double) pow(a, 3.0))))));
}
double code(double b, double abc, double a, double d) {
return ((double) (((double) (((double) (((double) (2.0 * ((double) pow(b, 3.0)))) - ((double) (9.0 * abc)))) + ((double) (27.0 * ((double) (((double) pow(a, 2.0)) * d)))))) / ((double) (27.0 * ((double) pow(a, 3.0))))));
}



Bits error versus b



Bits error versus abc



Bits error versus a



Bits error versus d
Results
Initial program 44.1
Final simplification44.1
herbie shell --seed 2020153
(FPCore (b abc a d)
:name "(/ (+ (- (* 2 (pow b 3)) (* 9 abc)) (* 27 (* (pow a 2) d))) (* 27 (pow a 3)))"
:precision binary64
(/ (+ (- (* 2.0 (pow b 3.0)) (* 9.0 abc)) (* 27.0 (* (pow a 2.0) d))) (* 27.0 (pow a 3.0))))