\((\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left((\left(\frac{\frac{\frac{3}{\left|x\right|}}{{\left(\left|x\right|\right)}^3}}{4}\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{\frac{1}{2}}{{\left(\left|x\right|\right)}^3}\right))_* + \frac{1}{\left|x\right|}\right) + \left(\frac{15}{8} \cdot \left(\sqrt{\frac{1}{\pi}} \cdot \frac{e^{{\left(\left|x\right|\right)}^2}}{{\left(\left|x\right|\right)}^{7}}\right)\right))_*\)
- Started with
\[\left(\frac{1}{\sqrt{\pi}} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(\frac{1}{\left|x\right|} + \frac{1}{2} \cdot \left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{3}{4} \cdot \left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{15}{8} \cdot \left(\left(\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right)\]
1.5
- Applied simplify to get
\[\color{red}{\left(\frac{1}{\sqrt{\pi}} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(\frac{1}{\left|x\right|} + \frac{1}{2} \cdot \left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{3}{4} \cdot \left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{15}{8} \cdot \left(\left(\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right)} \leadsto \color{blue}{(\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left(\frac{1}{\left|x\right|} + (\left({\left(\frac{1}{\left|x\right|}\right)}^3 \cdot \left(\frac{1}{\left|x\right|} \cdot \frac{3}{4}\right)\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{{\left(\frac{1}{\left|x\right|}\right)}^3}{2}\right))_*\right) + \left(\frac{\frac{15}{8} \cdot e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}} \cdot \frac{{\left(\frac{1}{\left|x\right|}\right)}^3 \cdot {\left(\frac{1}{\left|x\right|}\right)}^3}{\left|x\right|}\right))_*}\]
1.4
- Applied taylor to get
\[(\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left(\frac{1}{\left|x\right|} + (\left({\left(\frac{1}{\left|x\right|}\right)}^3 \cdot \left(\frac{1}{\left|x\right|} \cdot \frac{3}{4}\right)\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{{\left(\frac{1}{\left|x\right|}\right)}^3}{2}\right))_*\right) + \left(\frac{\frac{15}{8} \cdot e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}} \cdot \frac{{\left(\frac{1}{\left|x\right|}\right)}^3 \cdot {\left(\frac{1}{\left|x\right|}\right)}^3}{\left|x\right|}\right))_* \leadsto (\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left(\frac{1}{\left|x\right|} + (\left({\left(\frac{1}{\left|x\right|}\right)}^3 \cdot \left(\frac{1}{\left|x\right|} \cdot \frac{3}{4}\right)\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{{\left(\frac{1}{\left|x\right|}\right)}^3}{2}\right))_*\right) + \left(\frac{15}{8} \cdot \left(\sqrt{\frac{1}{\pi}} \cdot \frac{{\left({\left(\frac{1}{\left|x\right|}\right)}^3\right)}^2 \cdot e^{{\left(\left|x\right|\right)}^2}}{\left|x\right|}\right)\right))_*\]
1.3
- Taylor expanded around 0 to get
\[(\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left(\frac{1}{\left|x\right|} + (\left({\left(\frac{1}{\left|x\right|}\right)}^3 \cdot \left(\frac{1}{\left|x\right|} \cdot \frac{3}{4}\right)\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{{\left(\frac{1}{\left|x\right|}\right)}^3}{2}\right))_*\right) + \color{red}{\left(\frac{15}{8} \cdot \left(\sqrt{\frac{1}{\pi}} \cdot \frac{{\left({\left(\frac{1}{\left|x\right|}\right)}^3\right)}^2 \cdot e^{{\left(\left|x\right|\right)}^2}}{\left|x\right|}\right)\right)})_* \leadsto (\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left(\frac{1}{\left|x\right|} + (\left({\left(\frac{1}{\left|x\right|}\right)}^3 \cdot \left(\frac{1}{\left|x\right|} \cdot \frac{3}{4}\right)\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{{\left(\frac{1}{\left|x\right|}\right)}^3}{2}\right))_*\right) + \color{blue}{\left(\frac{15}{8} \cdot \left(\sqrt{\frac{1}{\pi}} \cdot \frac{{\left({\left(\frac{1}{\left|x\right|}\right)}^3\right)}^2 \cdot e^{{\left(\left|x\right|\right)}^2}}{\left|x\right|}\right)\right)})_*\]
1.3
- Applied simplify to get
\[\color{red}{(\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left(\frac{1}{\left|x\right|} + (\left({\left(\frac{1}{\left|x\right|}\right)}^3 \cdot \left(\frac{1}{\left|x\right|} \cdot \frac{3}{4}\right)\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{{\left(\frac{1}{\left|x\right|}\right)}^3}{2}\right))_*\right) + \left(\frac{15}{8} \cdot \left(\sqrt{\frac{1}{\pi}} \cdot \frac{{\left({\left(\frac{1}{\left|x\right|}\right)}^3\right)}^2 \cdot e^{{\left(\left|x\right|\right)}^2}}{\left|x\right|}\right)\right))_*} \leadsto \color{blue}{(\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left((\left(\frac{\frac{\frac{3}{\left|x\right|}}{{\left(\left|x\right|\right)}^3}}{4}\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{\frac{1}{2}}{{\left(\left|x\right|\right)}^3}\right))_* + \frac{1}{\left|x\right|}\right) + \left(\frac{\frac{\frac{15}{8} \cdot \sqrt{\frac{1}{\pi}}}{{\left({\left(\left|x\right|\right)}^3\right)}^2}}{\frac{\left|x\right|}{e^{\left|x\right| \cdot \left|x\right|}}}\right))_*}\]
0.8
- Using strategy
rm 0.8
- Applied pow3 to get
\[(\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left((\left(\frac{\frac{\frac{3}{\left|x\right|}}{{\left(\left|x\right|\right)}^3}}{4}\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{\frac{1}{2}}{{\left(\left|x\right|\right)}^3}\right))_* + \frac{1}{\left|x\right|}\right) + \left(\frac{\frac{\frac{15}{8} \cdot \sqrt{\frac{1}{\pi}}}{{\color{red}{\left({\left(\left|x\right|\right)}^3\right)}}^2}}{\frac{\left|x\right|}{e^{\left|x\right| \cdot \left|x\right|}}}\right))_* \leadsto (\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left((\left(\frac{\frac{\frac{3}{\left|x\right|}}{{\left(\left|x\right|\right)}^3}}{4}\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{\frac{1}{2}}{{\left(\left|x\right|\right)}^3}\right))_* + \frac{1}{\left|x\right|}\right) + \left(\frac{\frac{\frac{15}{8} \cdot \sqrt{\frac{1}{\pi}}}{{\color{blue}{\left({\left(\left|x\right|\right)}^{3}\right)}}^2}}{\frac{\left|x\right|}{e^{\left|x\right| \cdot \left|x\right|}}}\right))_*\]
0.7
- Applied taylor to get
\[(\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left((\left(\frac{\frac{\frac{3}{\left|x\right|}}{{\left(\left|x\right|\right)}^3}}{4}\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{\frac{1}{2}}{{\left(\left|x\right|\right)}^3}\right))_* + \frac{1}{\left|x\right|}\right) + \left(\frac{\frac{\frac{15}{8} \cdot \sqrt{\frac{1}{\pi}}}{{\left({\left(\left|x\right|\right)}^{3}\right)}^2}}{\frac{\left|x\right|}{e^{\left|x\right| \cdot \left|x\right|}}}\right))_* \leadsto (\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left((\left(\frac{\frac{\frac{3}{\left|x\right|}}{{\left(\left|x\right|\right)}^3}}{4}\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{\frac{1}{2}}{{\left(\left|x\right|\right)}^3}\right))_* + \frac{1}{\left|x\right|}\right) + \left(\frac{15}{8} \cdot \left(\sqrt{\frac{1}{\pi}} \cdot \frac{e^{{\left(\left|x\right|\right)}^2}}{{\left(\left|x\right|\right)}^{7}}\right)\right))_*\]
0.5
- Taylor expanded around 0 to get
\[(\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left((\left(\frac{\frac{\frac{3}{\left|x\right|}}{{\left(\left|x\right|\right)}^3}}{4}\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{\frac{1}{2}}{{\left(\left|x\right|\right)}^3}\right))_* + \frac{1}{\left|x\right|}\right) + \color{red}{\left(\frac{15}{8} \cdot \left(\sqrt{\frac{1}{\pi}} \cdot \frac{e^{{\left(\left|x\right|\right)}^2}}{{\left(\left|x\right|\right)}^{7}}\right)\right)})_* \leadsto (\left(\frac{e^{\left|x\right| \cdot \left|x\right|}}{\sqrt{\pi}}\right) * \left((\left(\frac{\frac{\frac{3}{\left|x\right|}}{{\left(\left|x\right|\right)}^3}}{4}\right) * \left(\frac{1}{\left|x\right|}\right) + \left(\frac{\frac{1}{2}}{{\left(\left|x\right|\right)}^3}\right))_* + \frac{1}{\left|x\right|}\right) + \color{blue}{\left(\frac{15}{8} \cdot \left(\sqrt{\frac{1}{\pi}} \cdot \frac{e^{{\left(\left|x\right|\right)}^2}}{{\left(\left|x\right|\right)}^{7}}\right)\right)})_*\]
0.5
- Removed slow pow expressions