Initial program 0.0
\[e^{-\left(1 - x \cdot x\right)}\]
Initial simplification0.0
\[\leadsto e^{(x \cdot x + -1)_*}\]
- Using strategy
rm Applied add-cbrt-cube0.1
\[\leadsto \color{blue}{\sqrt[3]{\left(e^{(x \cdot x + -1)_*} \cdot e^{(x \cdot x + -1)_*}\right) \cdot e^{(x \cdot x + -1)_*}}}\]
- Using strategy
rm Applied expm1-log1p-u0.1
\[\leadsto \sqrt[3]{\color{blue}{(e^{\log_* (1 + \left(e^{(x \cdot x + -1)_*} \cdot e^{(x \cdot x + -1)_*}\right) \cdot e^{(x \cdot x + -1)_*})} - 1)^*}}\]
- Using strategy
rm Applied add-sqr-sqrt0.1
\[\leadsto \color{blue}{\sqrt{\sqrt[3]{(e^{\log_* (1 + \left(e^{(x \cdot x + -1)_*} \cdot e^{(x \cdot x + -1)_*}\right) \cdot e^{(x \cdot x + -1)_*})} - 1)^*}} \cdot \sqrt{\sqrt[3]{(e^{\log_* (1 + \left(e^{(x \cdot x + -1)_*} \cdot e^{(x \cdot x + -1)_*}\right) \cdot e^{(x \cdot x + -1)_*})} - 1)^*}}}\]
Final simplification0.1
\[\leadsto \sqrt{\sqrt[3]{(e^{\log_* (1 + e^{(x \cdot x + -1)_*} \cdot \left(e^{(x \cdot x + -1)_*} \cdot e^{(x \cdot x + -1)_*}\right))} - 1)^*}} \cdot \sqrt{\sqrt[3]{(e^{\log_* (1 + e^{(x \cdot x + -1)_*} \cdot \left(e^{(x \cdot x + -1)_*} \cdot e^{(x \cdot x + -1)_*}\right))} - 1)^*}}\]
