\frac{\left(\left(9 \cdot b\right) \cdot c - 27 \cdot d\right) - \left(\left(2 \cdot b\right) \cdot b\right) \cdot b}{54}\frac{\left(\left(9 \cdot b\right) \cdot c - 27 \cdot d\right) - \left(\left(2 \cdot b\right) \cdot b\right) \cdot b}{54}double code(double b, double c, double d) {
return ((double) (((double) (((double) (((double) (((double) (9.0 * b)) * c)) - ((double) (27.0 * d)))) - ((double) (((double) (((double) (2.0 * b)) * b)) * b)))) / 54.0));
}
double code(double b, double c, double d) {
return ((double) (((double) (((double) (((double) (((double) (9.0 * b)) * c)) - ((double) (27.0 * d)))) - ((double) (((double) (((double) (2.0 * b)) * b)) * b)))) / 54.0));
}



Bits error versus b



Bits error versus c



Bits error versus d
Results
Initial program 0.5
Final simplification0.5
herbie shell --seed 2020152
(FPCore (b c d)
:name "(/ (- (- (* (* 9 b) c) (* 27 d)) (* (* (* 2 b) b) b)) 54)"
:precision binary64
(/ (- (- (* (* 9.0 b) c) (* 27.0 d)) (* (* (* 2.0 b) b) b)) 54.0))