\frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}\frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}double code(double a, double k, double m) {
return ((double) (((double) (a * ((double) pow(k, m)))) / ((double) (((double) (1.0 + ((double) (10.0 * k)))) + ((double) (k * k))))));
}
double code(double a, double k, double m) {
return ((double) (((double) (a * ((double) pow(k, m)))) / ((double) (((double) (1.0 + ((double) (10.0 * k)))) + ((double) (k * k))))));
}



Bits error versus a



Bits error versus k



Bits error versus m
Results
Initial program 2.1
Final simplification2.1
herbie shell --seed 2020155
(FPCore (a k m)
:name "Falkner and Boettcher, Appendix A"
:precision binary64
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))