Error

Try it out

Derivation

1. Initial program 0.0

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

2. Initial simplification0.0

   \[\leadsto e^{(x \cdot x + -1)_*}\]
3. Using strategy rm

4. Applied *-un-lft-identity0.0

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

5. Applied exp-prod0.0

   \[\leadsto \color{blue}{{\left(e^{1}\right)}^{\left((x \cdot x + -1)_*\right)}}\]

6. Simplified0.0

   \[\leadsto {\color{blue}{e}}^{\left((x \cdot x + -1)_*\right)}\]
7. Using strategy rm

8. Applied fma-udef0.0

   \[\leadsto {e}^{\color{blue}{\left(x \cdot x + -1\right)}}\]

9. Applied unpow-prod-up0.0

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

10. Final simplification0.0

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

Runtime

Time bar (total: 5.2s)Debug logProfile

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