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



Bits error versus b
Results
Initial program 0.4
Final simplification0.4
herbie shell --seed 2020152
(FPCore (b)
:name "(/ b (sqrt (+ 1 (pow (/ 1 b) 2))))"
:precision binary64
(/ b (sqrt (+ 1.0 (pow (/ 1.0 b) 2.0)))))