(- (pow e (- y)) (pow e y))

Average Error: 58.1 → 58.1

Time: 5.5s

Precision: binary64

Math

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

↓

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

Error

Bits error versus e

Bits error versus y

Derivation

1. Initial program 58.1

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

2. Final simplification 58.1

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

Reproduce

herbie shell --seed 2020152 
(FPCore (e y)
  :name "(- (pow e (- y)) (pow e y))"
  :precision binary64
  (- (pow e (neg y)) (pow e y)))