Average Error: 0.0 → 0.0

Time: 3.1s

Precision: 64

Internal Precision: 128

\[e^{-\left(1 - x \cdot x\right)}\]

↓

\[e^{(x \cdot x + -1)_*}\]

Error

The X axis uses an exponential scale — Bits error versus x

The X axis uses an exponential scale — Bits error versus x

Derivation

Initial program 0.0
\[e^{-\left(1 - x \cdot x\right)}\]
Simplified0.0
\[\leadsto \color{blue}{e^{(x \cdot x + -1)_*}}\]
Final simplification0.0
\[\leadsto e^{(x \cdot x + -1)_*}\]

Reproduce

herbie shell --seed 2019053 +o rules:numerics
(FPCore (x)
  :name "exp neg sub"
  (exp (- (- 1 (* x x)))))