Error

Derivation

1. Initial program 0.0

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

2. Applied simplify 0.0

   \[\leadsto \color{blue}{\frac{e^{x \cdot x}}{e}}\]
3. Using strategy rm

4. Applied exp-prod 0.0

   \[\leadsto \frac{\color{blue}{{\left(e^{x}\right)}^{x}}}{e}\]
5. Using strategy rm

6. Applied div-inv 0.0

   \[\leadsto \color{blue}{{\left(e^{x}\right)}^{x} \cdot \frac{1}{e}}\]
7. Removed slow pow expressions

Runtime

Total time: 10.9s Debug log

Please include this information when filing a bug report:

herbie --seed '#(4052198748 3924299076 1680055072 3516444736 941158883 263174188)'
(FPCore (x)
  :name "exp neg sub"
  (exp (- (- 1 (* x x)))))