Jmat.Real.erf

Average Error: 13.8 → 12.9

Time: 1.8min

Precision: binary64

Math

\[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|}\]

↓

\[\frac{\frac{{\left({1}^{3}\right)}^{3} - {\left(\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right)}^{3}}{\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}} \cdot \left(\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}} + {1}^{3}\right) + {1}^{6}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

Error

Bits error versus x

Derivation

1. Initial program 13.8

   \[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|}\]
2. Using strategy rm

3. Applied distribute-lft-in 13.8

   \[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \color{blue}{\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

4. Applied associate-+r+ 13.8

   \[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \color{blue}{\left(\left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot -0.284496735999999972\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\]

5. Simplified 13.8

   \[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\color{blue}{\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)} + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\]
6. Using strategy rm

7. Applied flip3-- 13.8

   \[\leadsto \color{blue}{\frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right)}^{3}}{1 \cdot 1 + \left(\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) + 1 \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right)\right)}}\]

8. Simplified 13.8

   \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right)}^{3}}{\color{blue}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}}\]
9. Using strategy rm

10. Applied exp-neg 13.8

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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 \color{blue}{\frac{1}{e^{\left|x\right| \cdot \left|x\right|}}}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

11. Applied flip3-+ 13.8

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \color{blue}{\frac{{1.42141374100000006}^{3} + {\left(\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)}^{3}}{1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot \frac{1}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

12. Applied associate-*r/ 13.8

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \color{blue}{\frac{\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)}{1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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 \frac{1}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

13. Applied associate-*r/ 13.8

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \color{blue}{\frac{\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)}{1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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 \frac{1}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

14. Applied flip-+ 13.8

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\color{blue}{\frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)}{0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}}} + \frac{\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)}{1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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 \frac{1}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

15. Applied frac-add 13.8

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \color{blue}{\frac{\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)}{\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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 \frac{1}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

16. Applied frac-times 13.8

    \[\leadsto \frac{{1}^{3} - {\left(\color{blue}{\frac{1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)}{\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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 \frac{1}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

17. Applied frac-times 13.8

    \[\leadsto \frac{{1}^{3} - {\color{blue}{\left(\frac{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right) \cdot 1}{\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}\right)}}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

18. Applied cube-div 13.0

    \[\leadsto \frac{{1}^{3} - \color{blue}{\frac{{\left(\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right) \cdot 1\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

19. Simplified 13.0

    \[\leadsto \frac{{1}^{3} - \frac{\color{blue}{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]
20. Using strategy rm

21. Applied flip3-- 12.9

    \[\leadsto \frac{\color{blue}{\frac{{\left({1}^{3}\right)}^{3} - {\left(\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right)}^{3}}{{1}^{3} \cdot {1}^{3} + \left(\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}} \cdot \frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}} + {1}^{3} \cdot \frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right)}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

22. Simplified 12.9

    \[\leadsto \frac{\frac{{\left({1}^{3}\right)}^{3} - {\left(\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right)}^{3}}{\color{blue}{\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}} \cdot \left(\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}} + {1}^{3}\right) + {1}^{6}}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

23. Final simplification 12.9

    \[\leadsto \frac{\frac{{\left({1}^{3}\right)}^{3} - {\left(\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right)}^{3}}{\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}} \cdot \left(\frac{{\left(1 \cdot \left(\left(0.25482959199999999 \cdot 0.25482959199999999 - \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(-0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right)\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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) + \left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left({1.42141374100000006}^{3} + {\left(\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)}^{3}\right)\right)\right)\right)\right)}^{3}}{{\left(\left(\left(1 + 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(\left(0.25482959199999999 - -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(1.42141374100000006 \cdot 1.42141374100000006 + \left(\left(\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) \cdot \left(\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) - 1.42141374100000006 \cdot \left(\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)\right) \cdot e^{\left|x\right| \cdot \left|x\right|}\right)}^{3}} + {1}^{3}\right) + {1}^{6}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\left(0.25482959199999999 + -0.284496735999999972 \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(\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|} + 1\right) + 1 \cdot 1}\]

Reproduce

herbie shell --seed 2020163 
(FPCore (x)
  :name "Jmat.Real.erf"
  :precision binary64
  (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x)))))))