Average Error: 1.6 → 1.6
Time: 498.0ms
Precision: binary64
\[{e}^{\left(-\pi\right)}\]
\[{e}^{\left(-\pi\right)}\]

Error

Derivation

  1. Initial program 1.6

    \[{e}^{\left(-\pi\right)}\]
  2. Final simplification1.6

    \[\leadsto {e}^{\left(-\pi\right)}\]

Reproduce

herbie shell --seed 2020153 
(FPCore ()
  :name "(pow E (- PI))"
  :precision binary64
  (pow E (neg PI)))