Average Error: 25.9 → 25.9
Time: 1.8s
Precision: binary64
\[\frac{1}{1 - e^{\left(-n\right) \cdot d}}\]
\[\frac{1}{1 - e^{\left(-n\right) \cdot d}}\]

Error

Bits error versus n

Bits error versus d

Derivation

  1. Initial program 25.9

    \[\frac{1}{1 - e^{\left(-n\right) \cdot d}}\]
  2. Final simplification25.9

    \[\leadsto \frac{1}{1 - e^{\left(-n\right) \cdot d}}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (n d)
  :name "(/ 1 (- 1 (exp (* (- n) d))))"
  :precision binary64
  (/ 1.0 (- 1.0 (exp (* (neg n) d)))))