1 - \frac{a}{b} \cdot {\left(1 - \frac{c}{d}\right)}^{\left(\frac{3}{2}\right)}1 - \frac{a}{b} \cdot {\left(1 - \frac{c}{d}\right)}^{\left(\frac{3}{2}\right)}double code(double a, double b, double c, double d) {
return ((double) (1.0 - ((double) (((double) (a / b)) * ((double) pow(((double) (1.0 - ((double) (c / d)))), ((double) (3.0 / 2.0))))))));
}
double code(double a, double b, double c, double d) {
return ((double) (1.0 - ((double) (((double) (a / b)) * ((double) pow(((double) (1.0 - ((double) (c / d)))), ((double) (3.0 / 2.0))))))));
}



Bits error versus a



Bits error versus b



Bits error versus c



Bits error versus d
Results
Initial program 3.3
Final simplification3.3
herbie shell --seed 2020152
(FPCore (a b c d)
:name "(- 1 (* (/ a b) (pow (- 1 (/ c d)) (/ 3 2))))"
:precision binary64
(- 1.0 (* (/ a b) (pow (- 1.0 (/ c d)) (/ 3.0 2.0)))))