(+ (- (exp x) 2) (exp (- x)))

Average Error: 29.9 → 29.9

Time: 3.1s

Precision: binary64

Math

\[\left(e^{x} - 2\right) + e^{-x}\]

↓

\[\left(e^{x} - 2\right) + e^{-x}\]

Error

Bits error versus x

Derivation

1. Initial program 29.9

   \[\left(e^{x} - 2\right) + e^{-x}\]

2. Final simplification 29.9

   \[\leadsto \left(e^{x} - 2\right) + e^{-x}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(+ (- (exp x) 2) (exp (- x)))"
  :precision binary64
  (+ (- (exp x) 2.0) (exp (neg x))))