(- (exp (+ 100 x)) (exp (- (+ x 100))))

Average Error: 0.2 → 0.2

Time: 1.3s

Precision: binary64

Math

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

↓

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

Error

Bits error versus x

Derivation

1. Initial program 0.2

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

2. Final simplification 0.2

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

Reproduce

herbie shell --seed 2020152 
(FPCore (x)
  :name "(- (exp (+ 100 x)) (exp (- (+ x 100))))"
  :precision binary64
  (- (exp (+ 100.0 x)) (exp (neg (+ x 100.0)))))