Bits error versus n
Bits error versus d
Initial program 26.5
Final simplification26.5
herbie shell --seed 2020153 (FPCore (n d) :name "(/ 1 (- 1 (exp (* (- n) d))))" :precision binary64 (/ 1.0 (- 1.0 (exp (* (neg n) d)))))