\frac{{a}^{2} - {b}^{2}}{a + b}\frac{{a}^{2} - {b}^{2}}{a + b}double code(double a, double b) {
return ((double) (((double) (((double) pow(a, 2.0)) - ((double) pow(b, 2.0)))) / ((double) (a + b))));
}
double code(double a, double b) {
return ((double) (((double) (((double) pow(a, 2.0)) - ((double) pow(b, 2.0)))) / ((double) (a + b))));
}



Bits error versus a



Bits error versus b
Results
Initial program 31.9
Final simplification31.9
herbie shell --seed 2020152
(FPCore (a b)
:name "(/ (- (pow a 2) (pow b 2)) (+ a b))"
:precision binary64
(/ (- (pow a 2.0) (pow b 2.0)) (+ a b)))