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



Bits error versus r



Bits error versus q



Bits error versus p
Results
Initial program 15.6
Final simplification15.6
herbie shell --seed 2020152
(FPCore (r q p)
:name "(sqrt (/ (- 1 (/ r q)) (sqrt (+ (/ p q) (pow (- 1 (/ r q)) 2)))))"
:precision binary64
(sqrt (/ (- 1.0 (/ r q)) (sqrt (+ (/ p q) (pow (- 1.0 (/ r q)) 2.0))))))