


Bits error versus a



Bits error versus k



Bits error versus m
Results
Initial program 1.9
Time bar (total: 1.4m)Debug logProfile
herbie shell --seed 2018167
(FPCore (a k m)
:name "Falkner and Boettcher, Appendix A"
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))))