\frac{1}{\sqrt{0.5 \cdot \left(\left(4 + {\left(\frac{x}{p}\right)}^{2}\right) + q \cdot \frac{x}{p}\right)}}\frac{1}{\sqrt{0.5 \cdot \left(\left(4 + {\left(\frac{x}{p}\right)}^{2}\right) + q \cdot \frac{x}{p}\right)}}double code(double x, double p, double q) {
return ((double) (1.0 / ((double) sqrt(((double) (0.5 * ((double) (((double) (4.0 + ((double) pow(((double) (x / p)), 2.0)))) + ((double) (q * ((double) (x / p))))))))))));
}
double code(double x, double p, double q) {
return ((double) (1.0 / ((double) sqrt(((double) (0.5 * ((double) (((double) (4.0 + ((double) pow(((double) (x / p)), 2.0)))) + ((double) (q * ((double) (x / p))))))))))));
}



Bits error versus x



Bits error versus p



Bits error versus q
Results
Initial program 15.5
Final simplification15.5
herbie shell --seed 2020153
(FPCore (x p q)
:name "(/ 1 (sqrt (* 0.5 (+ (+ 4 (pow (/ x p) 2)) (* q (/ x p))))))"
:precision binary64
(/ 1.0 (sqrt (* 0.5 (+ (+ 4.0 (pow (/ x p) 2.0)) (* q (/ x p)))))))