Bits error versus n
Bits error versus d
Initial program 25.9
Final simplification25.9
herbie shell --seed 2020152 (FPCore (n d) :name "(/ 1 (- 1 (exp (* (- n) d))))" :precision binary64 (/ 1.0 (- 1.0 (exp (* (neg n) d)))))