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



Bits error versus p



Bits error versus q



Bits error versus r
Results
Initial program 19.7
Final simplification19.7
herbie shell --seed 2020153
(FPCore (p q r)
:name "(sqrt (pow (/ p (- q r)) 2))"
:precision binary64
(sqrt (pow (/ p (- q r)) 2.0)))