(/ (* (exp (- l)) (pow l k)) fk)

Average Error: 0.3 → 0.3

Time: 2.0s

Precision: binary64

Math

\[\frac{e^{-\ell} \cdot {\ell}^{k}}{fk}\]

↓

\[\frac{e^{-\ell} \cdot {\ell}^{k}}{fk}\]

Error

Bits error versus l

Bits error versus k

Bits error versus fk

Derivation

1. Initial program 0.3

   \[\frac{e^{-\ell} \cdot {\ell}^{k}}{fk}\]

2. Final simplification 0.3

   \[\leadsto \frac{e^{-\ell} \cdot {\ell}^{k}}{fk}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (l k fk)
  :name "(/ (* (exp (- l)) (pow l k)) fk)"
  :precision binary64
  (/ (* (exp (neg l)) (pow l k)) fk))