Initial program 0.0
\[e^{-\left(1 - x \cdot x\right)}\]
- Using strategy
rm Applied *-un-lft-identity0.0
\[\leadsto e^{\color{blue}{1 \cdot \left(-\left(1 - x \cdot x\right)\right)}}\]
Applied exp-prod0.0
\[\leadsto \color{blue}{{\left(e^{1}\right)}^{\left(-\left(1 - x \cdot x\right)\right)}}\]
Applied simplify0.0
\[\leadsto {\color{blue}{e}}^{\left(-\left(1 - x \cdot x\right)\right)}\]
- Using strategy
rm Applied sub-neg0.0
\[\leadsto {e}^{\left(-\color{blue}{\left(1 + \left(-x \cdot x\right)\right)}\right)}\]
Applied distribute-neg-in0.0
\[\leadsto {e}^{\color{blue}{\left(\left(-1\right) + \left(-\left(-x \cdot x\right)\right)\right)}}\]
Applied unpow-prod-up0.0
\[\leadsto \color{blue}{{e}^{\left(-1\right)} \cdot {e}^{\left(-\left(-x \cdot x\right)\right)}}\]
Applied simplify0.0
\[\leadsto {e}^{\left(-1\right)} \cdot \color{blue}{{e}^{\left(x \cdot x\right)}}\]
- Using strategy
rm Applied add-cube-cbrt0.1
\[\leadsto {e}^{\left(-1\right)} \cdot \color{blue}{\left(\left(\sqrt[3]{{e}^{\left(x \cdot x\right)}} \cdot \sqrt[3]{{e}^{\left(x \cdot x\right)}}\right) \cdot \sqrt[3]{{e}^{\left(x \cdot x\right)}}\right)}\]
