Average Error: 13.9 → 13.1
Time: 48.3s
Precision: 64
\[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{\left(\sqrt{{1}^{3}} + \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right) \cdot \left(\sqrt{{1}^{3}} - \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\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(0.25482959199999999 + \frac{\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left({-0.284496735999999972}^{3} + {\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)}^{3}\right)\right)}{-0.284496735999999972 \cdot -0.284496735999999972 + \left(\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) \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) - -0.284496735999999972 \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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]
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{\left(\sqrt{{1}^{3}} + \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right) \cdot \left(\sqrt{{1}^{3}} - \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\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(0.25482959199999999 + \frac{\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\right) \cdot \left({-0.284496735999999972}^{3} + {\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)}^{3}\right)\right)}{-0.284496735999999972 \cdot -0.284496735999999972 + \left(\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) \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) - -0.284496735999999972 \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|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}
double f(double x) {
        double r372775 = 1.0;
        double r372776 = 0.3275911;
        double r372777 = x;
        double r372778 = fabs(r372777);
        double r372779 = r372776 * r372778;
        double r372780 = r372775 + r372779;
        double r372781 = r372775 / r372780;
        double r372782 = 0.254829592;
        double r372783 = -0.284496736;
        double r372784 = 1.421413741;
        double r372785 = -1.453152027;
        double r372786 = 1.061405429;
        double r372787 = r372781 * r372786;
        double r372788 = r372785 + r372787;
        double r372789 = r372781 * r372788;
        double r372790 = r372784 + r372789;
        double r372791 = r372781 * r372790;
        double r372792 = r372783 + r372791;
        double r372793 = r372781 * r372792;
        double r372794 = r372782 + r372793;
        double r372795 = r372781 * r372794;
        double r372796 = r372778 * r372778;
        double r372797 = -r372796;
        double r372798 = exp(r372797);
        double r372799 = r372795 * r372798;
        double r372800 = r372775 - r372799;
        return r372800;
}
↓
double f(double x) {
        double r372801 = 1.0;
        double r372802 = 3.0;
        double r372803 = pow(r372801, r372802);
        double r372804 = sqrt(r372803);
        double r372805 = 0.3275911;
        double r372806 = x;
        double r372807 = fabs(r372806);
        double r372808 = r372805 * r372807;
        double r372809 = r372801 + r372808;
        double r372810 = r372801 / r372809;
        double r372811 = 0.254829592;
        double r372812 = r372801 * r372801;
        double r372813 = r372808 * r372808;
        double r372814 = r372812 - r372813;
        double r372815 = r372801 / r372814;
        double r372816 = r372801 - r372808;
        double r372817 = -0.284496736;
        double r372818 = 1.421413741;
        double r372819 = -1.453152027;
        double r372820 = 1.061405429;
        double r372821 = r372810 * r372820;
        double r372822 = r372819 + r372821;
        double r372823 = r372810 * r372822;
        double r372824 = r372818 + r372823;
        double r372825 = r372810 * r372824;
        double r372826 = r372817 + r372825;
        double r372827 = r372816 * r372826;
        double r372828 = r372815 * r372827;
        double r372829 = r372811 + r372828;
        double r372830 = r372810 * r372829;
        double r372831 = r372807 * r372807;
        double r372832 = -r372831;
        double r372833 = exp(r372832);
        double r372834 = r372830 * r372833;
        double r372835 = pow(r372834, r372802);
        double r372836 = sqrt(r372835);
        double r372837 = r372804 + r372836;
        double r372838 = r372804 - r372836;
        double r372839 = r372837 * r372838;
        double r372840 = pow(r372817, r372802);
        double r372841 = pow(r372825, r372802);
        double r372842 = r372840 + r372841;
        double r372843 = r372816 * r372842;
        double r372844 = r372815 * r372843;
        double r372845 = r372817 * r372817;
        double r372846 = r372825 * r372825;
        double r372847 = r372817 * r372825;
        double r372848 = r372846 - r372847;
        double r372849 = r372845 + r372848;
        double r372850 = r372844 / r372849;
        double r372851 = r372811 + r372850;
        double r372852 = r372810 * r372851;
        double r372853 = r372852 * r372833;
        double r372854 = r372834 + r372801;
        double r372855 = r372853 * r372854;
        double r372856 = r372855 + r372812;
        double r372857 = r372839 / r372856;
        return r372857;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

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

  3. Applied flip-+13.9

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

  4. Applied associate-/r/13.9

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

  5. Applied associate-*l*13.9

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

  8. Simplified13.8

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

  10. 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 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\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 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\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(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\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 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

  11. Applied add-sqr-sqrt13.1

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

  12. Applied difference-of-squares13.1

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

  14. Applied flip3-+13.1

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

  15. Applied associate-*r/13.1

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

  16. Applied associate-*r/13.1

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

  17. Final simplification13.1

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

Reproduce

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