(pow (- 1 (exp (/ (* (- k) i) B))) k)

Average Error: 18.6 → 18.6

Time: 4.8s

Precision: binary64

Math

\[{\left(1 - e^{\frac{\left(-k\right) \cdot i}{B}}\right)}^{k}\]

↓

\[{\left(1 - e^{\frac{\left(-k\right) \cdot i}{B}}\right)}^{k}\]

Error

Bits error versus k

Bits error versus i

Bits error versus B

Derivation

1. Initial program 18.6

   \[{\left(1 - e^{\frac{\left(-k\right) \cdot i}{B}}\right)}^{k}\]

2. Final simplification 18.6

   \[\leadsto {\left(1 - e^{\frac{\left(-k\right) \cdot i}{B}}\right)}^{k}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (k i B)
  :name "(pow (- 1 (exp (/ (* (- k) i) B))) k)"
  :precision binary64
  (pow (- 1.0 (exp (/ (* (neg k) i) B))) k))