(pow E (- PI))

Average Error: 1.6 → 1.6

Time: 526.0ms

Precision: binary64

Math

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

↓

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

Derivation

1. Initial program 1.6

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

2. Final simplification 1.6

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

Reproduce

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