Error

Try it out

Derivation

1. Initial program 0.0

   \[e^{-\left(1 - x \cdot x\right)}\]
2. Using strategy rm

3. Applied neg-mul-10.0

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

4. Applied exp-prod0.0

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

6. Applied sub-neg0.0

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

7. Applied unpow-prod-up0.0

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

8. Final simplification0.0

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

Reproduce

herbie shell --seed 2019002 
(FPCore (x)
  :name "exp neg sub"
  (exp (- (- 1 (* x x)))))

Details

Time bar (total: 5.3s)Debug log