\sqrt{\frac{1}{n - 2} \cdot \frac{a}{b}}\sqrt{\frac{1}{n - 2} \cdot \frac{a}{b}}double code(double n, double a, double b) {
return ((double) sqrt(((double) (((double) (1.0 / ((double) (n - 2.0)))) * ((double) (a / b))))));
}
double code(double n, double a, double b) {
return ((double) sqrt(((double) (((double) (1.0 / ((double) (n - 2.0)))) * ((double) (a / b))))));
}



Bits error versus n



Bits error versus a



Bits error versus b
Results
Initial program 19.0
Final simplification19.0
herbie shell --seed 2020152
(FPCore (n a b)
:name "(sqrt (* (/ 1 (- n 2)) (/ a b)))"
:precision binary64
(sqrt (* (/ 1.0 (- n 2.0)) (/ a b))))