\left(\left(333.75 \cdot {b}^{6} + {a}^{2} \cdot \left(\left(\left(\left(11 \cdot {a}^{2}\right) \cdot {b}^{2} - {b}^{6}\right) - 121 \cdot {b}^{4}\right) - 2\right)\right) + 5.5 \cdot {b}^{8}\right) + \frac{a}{2 \cdot b}\left(\left(333.75 \cdot {b}^{6} + {a}^{2} \cdot \left(\left(\left(\left(11 \cdot {a}^{2}\right) \cdot {b}^{2} - {b}^{6}\right) - 121 \cdot {b}^{4}\right) - 2\right)\right) + 5.5 \cdot {b}^{8}\right) + \frac{a}{2 \cdot b}double code(double b, double a) {
return ((double) (((double) (((double) (((double) (333.75 * ((double) pow(b, 6.0)))) + ((double) (((double) pow(a, 2.0)) * ((double) (((double) (((double) (((double) (((double) (11.0 * ((double) pow(a, 2.0)))) * ((double) pow(b, 2.0)))) - ((double) pow(b, 6.0)))) - ((double) (121.0 * ((double) pow(b, 4.0)))))) - 2.0)))))) + ((double) (5.5 * ((double) pow(b, 8.0)))))) + ((double) (a / ((double) (2.0 * b))))));
}
double code(double b, double a) {
return ((double) (((double) (((double) (((double) (333.75 * ((double) pow(b, 6.0)))) + ((double) (((double) pow(a, 2.0)) * ((double) (((double) (((double) (((double) (((double) (11.0 * ((double) pow(a, 2.0)))) * ((double) pow(b, 2.0)))) - ((double) pow(b, 6.0)))) - ((double) (121.0 * ((double) pow(b, 4.0)))))) - 2.0)))))) + ((double) (5.5 * ((double) pow(b, 8.0)))))) + ((double) (a / ((double) (2.0 * b))))));
}



Bits error versus b



Bits error versus a
Results
Initial program 0.1
Final simplification0.1
herbie shell --seed 2020153
(FPCore (b a)
:name "(+ (+ (+ (* 333.75 (pow b 6.0)) (* (pow a 2.0) (- (- (- (* (* 11.0 (pow a 2.0)) (pow b 2.0)) (pow b 6.0)) (* 121.0 (pow b 4.0))) 2.0))) (* 5.5 (pow b 8.0))) (/ a (* 2.0 b)))"
:precision binary64
(+ (+ (+ (* 333.75 (pow b 6.0)) (* (pow a 2.0) (- (- (- (* (* 11.0 (pow a 2.0)) (pow b 2.0)) (pow b 6.0)) (* 121.0 (pow b 4.0))) 2.0))) (* 5.5 (pow b 8.0))) (/ a (* 2.0 b))))