Error

Derivation

1. Initial program 0.0

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

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

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

4. Applied difference-of-squares0.0

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

5. Applied distribute-rgt-neg-in0.0

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

6. Applied exp-prod0.0

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

7. Final simplification0.0

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

Reproduce

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