Initial program 0.0
\[e^{-\left(1 - x \cdot x\right)}\]
- Using strategy
rm Applied sub-neg0.0
\[\leadsto e^{-\color{blue}{\left(1 + \left(-x \cdot x\right)\right)}}\]
Applied distribute-neg-in0.0
\[\leadsto e^{\color{blue}{\left(-1\right) + \left(-\left(-x \cdot x\right)\right)}}\]
Applied exp-sum0.0
\[\leadsto \color{blue}{e^{-1} \cdot e^{-\left(-x \cdot x\right)}}\]
Simplified0.0
\[\leadsto e^{-1} \cdot \color{blue}{e^{{x}^{2}}}\]
- Using strategy
rm Applied add-sqr-sqrt0.0
\[\leadsto e^{-1} \cdot e^{\color{blue}{\sqrt{{x}^{2}} \cdot \sqrt{{x}^{2}}}}\]
Applied exp-prod0.0
\[\leadsto e^{-1} \cdot \color{blue}{{\left(e^{\sqrt{{x}^{2}}}\right)}^{\left(\sqrt{{x}^{2}}\right)}}\]
Final simplification0.0
\[\leadsto e^{-1} \cdot {\left(e^{\sqrt{{x}^{2}}}\right)}^{\left(\sqrt{{x}^{2}}\right)}\]
