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



Bits error versus y



Bits error versus p
Results
Initial program 23.7
Final simplification23.7
herbie shell --seed 2020153
(FPCore (y p)
:name "(/ (- 1 y) (sqrt (+ (/ p y) (pow (- 1 y) 2))))"
:precision binary64
(/ (- 1.0 y) (sqrt (+ (/ p y) (pow (- 1.0 y) 2.0)))))