Initial program 13.9
\[1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
- Using strategy
rm Applied distribute-lft-in13.9
\[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \color{blue}{\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)}\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
Simplified13.9
\[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + \color{blue}{1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
- Using strategy
rm Applied flip3--13.8
\[\leadsto \color{blue}{\frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{1 \cdot 1 + \left(\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) + 1 \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)\right)}}\]
Simplified13.8
\[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\color{blue}{1 \cdot 1 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}\right) + 1\right)}}\]
- Using strategy
rm Applied add-sqr-sqrt13.1
\[\leadsto \frac{{1}^{3} - \color{blue}{\sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}}}{1 \cdot 1 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}\right) + 1\right)}\]
Final simplification13.1
\[\leadsto \frac{{1}^{3} - \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}}{1 \cdot 1 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -1.45315202700000001 + 1.0614054289999999 \cdot \frac{1}{\frac{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}\right) + 1\right)}\]