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



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