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



Bits error versus x



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