Jmat.Real.erf

Average Error: 13.8 → 12.9

Time: 2.1m

Precision: 64

Math

\[1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

↓

\[\frac{\frac{{\left({1}^{3}\right)}^{3} - {\left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}} \cdot \sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right)}^{3}}{\left({1}^{3} \cdot \left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}} \cdot \sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right) + \left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}} \cdot \sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right) \cdot \left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}} \cdot \sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right)\right) + {1}^{3} \cdot {1}^{3}}}{\left(1 + \frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right) \cdot \frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1 \cdot 1}\]

C

double f(double x) {
        double r487754 = 1.0;
        double r487755 = 0.3275911;
        double r487756 = x;
        double r487757 = fabs(r487756);
        double r487758 = r487755 * r487757;
        double r487759 = r487754 + r487758;
        double r487760 = r487754 / r487759;
        double r487761 = 0.254829592;
        double r487762 = -0.284496736;
        double r487763 = 1.421413741;
        double r487764 = -1.453152027;
        double r487765 = 1.061405429;
        double r487766 = r487760 * r487765;
        double r487767 = r487764 + r487766;
        double r487768 = r487760 * r487767;
        double r487769 = r487763 + r487768;
        double r487770 = r487760 * r487769;
        double r487771 = r487762 + r487770;
        double r487772 = r487760 * r487771;
        double r487773 = r487761 + r487772;
        double r487774 = r487760 * r487773;
        double r487775 = r487757 * r487757;
        double r487776 = -r487775;
        double r487777 = exp(r487776);
        double r487778 = r487774 * r487777;
        double r487779 = r487754 - r487778;
        return r487779;
}

↓

double f(double x) {
        double r487780 = 1.0;
        double r487781 = 3.0;
        double r487782 = pow(r487780, r487781);
        double r487783 = pow(r487782, r487781);
        double r487784 = 1.0;
        double r487785 = 0.3275911;
        double r487786 = x;
        double r487787 = fabs(r487786);
        double r487788 = r487785 * r487787;
        double r487789 = r487780 + r487788;
        double r487790 = r487789 / r487780;
        double r487791 = cbrt(r487790);
        double r487792 = r487791 * r487791;
        double r487793 = r487784 / r487792;
        double r487794 = exp(r487787);
        double r487795 = 2.0;
        double r487796 = r487787 / r487795;
        double r487797 = pow(r487794, r487796);
        double r487798 = r487793 / r487797;
        double r487799 = pow(r487798, r487781);
        double r487800 = 0.254829592;
        double r487801 = 1.421413741;
        double r487802 = 1.061405429;
        double r487803 = r487780 / r487789;
        double r487804 = r487802 * r487803;
        double r487805 = -1.453152027;
        double r487806 = r487804 + r487805;
        double r487807 = r487806 / r487790;
        double r487808 = r487801 + r487807;
        double r487809 = r487808 * r487803;
        double r487810 = -0.284496736;
        double r487811 = r487809 + r487810;
        double r487812 = r487811 * r487780;
        double r487813 = r487812 / r487789;
        double r487814 = r487800 + r487813;
        double r487815 = r487814 / r487791;
        double r487816 = r487815 / r487797;
        double r487817 = pow(r487816, r487781);
        double r487818 = r487799 * r487817;
        double r487819 = sqrt(r487818);
        double r487820 = r487814 / r487790;
        double r487821 = pow(r487794, r487787);
        double r487822 = r487820 / r487821;
        double r487823 = pow(r487822, r487781);
        double r487824 = sqrt(r487823);
        double r487825 = r487819 * r487824;
        double r487826 = pow(r487825, r487781);
        double r487827 = r487783 - r487826;
        double r487828 = r487782 * r487825;
        double r487829 = r487825 * r487825;
        double r487830 = r487828 + r487829;
        double r487831 = r487782 * r487782;
        double r487832 = r487830 + r487831;
        double r487833 = r487827 / r487832;
        double r487834 = r487780 + r487822;
        double r487835 = r487834 * r487822;
        double r487836 = r487780 * r487780;
        double r487837 = r487835 + r487836;
        double r487838 = r487833 / r487837;
        return r487838;
}

Error

Bits error versus x

Derivation

1. Initial program 13.8

   \[1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

2. Simplified 13.8

   \[\leadsto \color{blue}{1 - \frac{\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} \cdot \left(-0.2844967359999999723108032867457950487733 + \left(\left(\frac{1}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1.061405428999999900341322245367337018251}} + -1.453152027000000012790792425221297889948\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} + 1.421413741000000063863240029604639858007\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}\right) + 0.2548295919999999936678136691625695675611}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}}\]
3. Using strategy rm

4. Applied flip3-- 13.8

   \[\leadsto \color{blue}{\frac{{1}^{3} - {\left(\frac{\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} \cdot \left(-0.2844967359999999723108032867457950487733 + \left(\left(\frac{1}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1.061405428999999900341322245367337018251}} + -1.453152027000000012790792425221297889948\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} + 1.421413741000000063863240029604639858007\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}\right) + 0.2548295919999999936678136691625695675611}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}{1 \cdot 1 + \left(\frac{\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} \cdot \left(-0.2844967359999999723108032867457950487733 + \left(\left(\frac{1}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1.061405428999999900341322245367337018251}} + -1.453152027000000012790792425221297889948\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} + 1.421413741000000063863240029604639858007\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}\right) + 0.2548295919999999936678136691625695675611}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \frac{\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} \cdot \left(-0.2844967359999999723108032867457950487733 + \left(\left(\frac{1}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1.061405428999999900341322245367337018251}} + -1.453152027000000012790792425221297889948\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} + 1.421413741000000063863240029604639858007\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}\right) + 0.2548295919999999936678136691625695675611}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1 \cdot \frac{\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} \cdot \left(-0.2844967359999999723108032867457950487733 + \left(\left(\frac{1}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1.061405428999999900341322245367337018251}} + -1.453152027000000012790792425221297889948\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} + 1.421413741000000063863240029604639858007\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}\right) + 0.2548295919999999936678136691625695675611}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}}\]

5. Simplified 13.8

   \[\leadsto \frac{\color{blue}{{1}^{3} - {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}}{1 \cdot 1 + \left(\frac{\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} \cdot \left(-0.2844967359999999723108032867457950487733 + \left(\left(\frac{1}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1.061405428999999900341322245367337018251}} + -1.453152027000000012790792425221297889948\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} + 1.421413741000000063863240029604639858007\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}\right) + 0.2548295919999999936678136691625695675611}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \frac{\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} \cdot \left(-0.2844967359999999723108032867457950487733 + \left(\left(\frac{1}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1.061405428999999900341322245367337018251}} + -1.453152027000000012790792425221297889948\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} + 1.421413741000000063863240029604639858007\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}\right) + 0.2548295919999999936678136691625695675611}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1 \cdot \frac{\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} \cdot \left(-0.2844967359999999723108032867457950487733 + \left(\left(\frac{1}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1.061405428999999900341322245367337018251}} + -1.453152027000000012790792425221297889948\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699} + 1.421413741000000063863240029604639858007\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}\right) + 0.2548295919999999936678136691625695675611}{\frac{1 + \left|x\right| \cdot 0.3275911000000000239396058532292954623699}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}\]

6. Simplified 13.8

   \[\leadsto \frac{{1}^{3} - {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}{\color{blue}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}}\]
7. Using strategy rm

8. Applied add-sqr-sqrt 13.0

   \[\leadsto \frac{{1}^{3} - \color{blue}{\sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}}}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}\]
9. Using strategy rm

10. Applied sqr-pow 13.0

    \[\leadsto \frac{{1}^{3} - \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{\color{blue}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)} \cdot {\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}\]

11. Applied add-cube-cbrt 13.0

    \[\leadsto \frac{{1}^{3} - \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\color{blue}{\left(\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}\right) \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)} \cdot {\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}\]

12. Applied *-un-lft-identity 13.0

    \[\leadsto \frac{{1}^{3} - \sqrt{{\left(\frac{\frac{\color{blue}{1 \cdot \left(0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}\right)}}{\left(\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}\right) \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)} \cdot {\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}\]

13. Applied times-frac 13.0

    \[\leadsto \frac{{1}^{3} - \sqrt{{\left(\frac{\color{blue}{\frac{1}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}} \cdot \frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)} \cdot {\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}\]

14. Applied times-frac 13.0

    \[\leadsto \frac{{1}^{3} - \sqrt{{\color{blue}{\left(\frac{\frac{1}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}} \cdot \frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}\]

15. Applied unpow-prod-down 13.0

    \[\leadsto \frac{{1}^{3} - \sqrt{\color{blue}{{\left(\frac{\frac{1}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}\]
16. Using strategy rm

17. Applied flip3-- 12.9

    \[\leadsto \frac{\color{blue}{\frac{{\left({1}^{3}\right)}^{3} - {\left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right)}^{3}}{{1}^{3} \cdot {1}^{3} + \left(\left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right) \cdot \left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right) + {1}^{3} \cdot \left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} \cdot \sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\sqrt[3]{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right)\right)}}}{\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} \cdot \left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot \left(\frac{-1.453152027000000012790792425221297889948 + \frac{1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1} \cdot 1.061405428999999900341322245367337018251}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}} + 1.421413741000000063863240029604639858007\right) + -0.2844967359999999723108032867457950487733\right) \cdot 1}{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}}{\frac{\left|x\right| \cdot 0.3275911000000000239396058532292954623699 + 1}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1\right) + 1 \cdot 1}\]

18. Final simplification 12.9

    \[\leadsto \frac{\frac{{\left({1}^{3}\right)}^{3} - {\left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}} \cdot \sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right)}^{3}}{\left({1}^{3} \cdot \left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}} \cdot \sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right) + \left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}} \cdot \sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right) \cdot \left(\sqrt{{\left(\frac{\frac{1}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}} \cdot \sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3} \cdot {\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\sqrt[3]{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}}{{\left(e^{\left|x\right|}\right)}^{\left(\frac{\left|x\right|}{2}\right)}}\right)}^{3}} \cdot \sqrt{{\left(\frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right)}^{3}}\right)\right) + {1}^{3} \cdot {1}^{3}}}{\left(1 + \frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}}\right) \cdot \frac{\frac{0.2548295919999999936678136691625695675611 + \frac{\left(\left(1.421413741000000063863240029604639858007 + \frac{1.061405428999999900341322245367337018251 \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -1.453152027000000012790792425221297889948}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + -0.2844967359999999723108032867457950487733\right) \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}{1}}}{{\left(e^{\left|x\right|}\right)}^{\left(\left|x\right|\right)}} + 1 \cdot 1}\]

Reproduce

herbie shell --seed 2019179 
(FPCore (x)
  :name "Jmat.Real.erf"
  (- 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 (- (* (fabs x) (fabs x)))))))