\(\left|\frac{{\left((\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_*\right)}^2 - {\left(\frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}\right)}^2}{\left((\left({\left(\left|x\right|\right)}^3 \cdot \frac{\left|x\right|}{5}\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(\left|x\right| \cdot 2\right))_*\right))_* - \frac{{\left({\left(\left|x\right|\right)}^3\right)}^2}{\frac{21}{\left|x\right|}}\right) \cdot \sqrt{\pi}}\right|\)
- Started with
\[\left|\frac{1}{\sqrt{\pi}} \cdot \left(\left(\left(2 \cdot \left|x\right| + \frac{2}{3} \cdot \left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right) + \frac{1}{5} \cdot \left(\left(\left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right) + \frac{1}{21} \cdot \left(\left(\left(\left(\left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right)\right|\]
0.3
- Applied simplify to get
\[\color{red}{\left|\frac{1}{\sqrt{\pi}} \cdot \left(\left(\left(2 \cdot \left|x\right| + \frac{2}{3} \cdot \left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right) + \frac{1}{5} \cdot \left(\left(\left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right) + \frac{1}{21} \cdot \left(\left(\left(\left(\left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right)\right|} \leadsto \color{blue}{\left|\frac{(\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_* + \frac{{\left({\left(\left|x\right|\right)}^2\right)}^3}{\frac{21}{\left|x\right|}}}{\sqrt{\pi}}\right|}\]
0.4
- Using strategy
rm 0.4
- Applied pow1 to get
\[\left|\frac{(\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_* + \frac{\color{red}{{\left({\left(\left|x\right|\right)}^2\right)}^3}}{\frac{21}{\left|x\right|}}}{\sqrt{\pi}}\right| \leadsto \left|\frac{(\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_* + \frac{\color{blue}{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}}{\frac{21}{\left|x\right|}}}{\sqrt{\pi}}\right|\]
0.4
- Using strategy
rm 0.4
- Applied flip-+ to get
\[\left|\frac{\color{red}{(\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_* + \frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}}}{\sqrt{\pi}}\right| \leadsto \left|\frac{\color{blue}{\frac{{\left((\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_*\right)}^2 - {\left(\frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}\right)}^2}{(\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_* - \frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}}}}{\sqrt{\pi}}\right|\]
0.4
- Applied associate-/l/ to get
\[\left|\color{red}{\frac{\frac{{\left((\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_*\right)}^2 - {\left(\frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}\right)}^2}{(\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_* - \frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}}}{\sqrt{\pi}}}\right| \leadsto \left|\color{blue}{\frac{{\left((\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_*\right)}^2 - {\left(\frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}\right)}^2}{\sqrt{\pi} \cdot \left((\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_* - \frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}\right)}}\right|\]
0.4
- Applied simplify to get
\[\left|\frac{{\left((\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_*\right)}^2 - {\left(\frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}\right)}^2}{\color{red}{\sqrt{\pi} \cdot \left((\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_* - \frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}\right)}}\right| \leadsto \left|\frac{{\left((\left(\frac{\left|x\right|}{5} \cdot {\left(\left|x\right|\right)}^3\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(2 \cdot \left|x\right|\right))_*\right))_*\right)}^2 - {\left(\frac{{\left({\left({\left(\left|x\right|\right)}^2\right)}^3\right)}^{1}}{\frac{21}{\left|x\right|}}\right)}^2}{\color{blue}{\left((\left({\left(\left|x\right|\right)}^3 \cdot \frac{\left|x\right|}{5}\right) * \left(\left|x\right|\right) + \left((\left(\frac{2}{3}\right) * \left({\left(\left|x\right|\right)}^3\right) + \left(\left|x\right| \cdot 2\right))_*\right))_* - \frac{{\left({\left(\left|x\right|\right)}^3\right)}^2}{\frac{21}{\left|x\right|}}\right) \cdot \sqrt{\pi}}}\right|\]
0.4
- Removed slow pow expressions
