\frac{{\left(\sqrt{y}\right)}^{2} - z}{y - \sqrt{z}}\frac{{\left(\sqrt{y}\right)}^{2} - z}{y - \sqrt{z}}double code(double y, double z) {
return ((double) (((double) (((double) pow(((double) sqrt(y)), 2.0)) - z)) / ((double) (y - ((double) sqrt(z))))));
}
double code(double y, double z) {
return ((double) (((double) (((double) pow(((double) sqrt(y)), 2.0)) - z)) / ((double) (y - ((double) sqrt(z))))));
}



Bits error versus y



Bits error versus z
Results
Initial program 0.5
Final simplification0.5
herbie shell --seed 2020152
(FPCore (y z)
:name "(/ (- (pow (sqrt y) 2) z) (- y (sqrt z)))"
:precision binary64
(/ (- (pow (sqrt y) 2.0) z) (- y (sqrt z))))