Jmat.Real.erf

Average Error: 13.9 → 13.0

Time: 4.3m

Precision: 64

Math

\[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

↓

\[\frac{\frac{1 - {\left(\sqrt[3]{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right) \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)}^{3}}{\left(\left(\sqrt[3]{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right) \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right) \cdot \left(\sqrt[3]{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right) \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right) + \sqrt[3]{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right) \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right) + 1}}{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} + 1\right) + \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}}\]

C

double f(double x) {
        double r4442926 = 1.0;
        double r4442927 = 0.3275911;
        double r4442928 = x;
        double r4442929 = fabs(r4442928);
        double r4442930 = r4442927 * r4442929;
        double r4442931 = r4442926 + r4442930;
        double r4442932 = r4442926 / r4442931;
        double r4442933 = 0.254829592;
        double r4442934 = -0.284496736;
        double r4442935 = 1.421413741;
        double r4442936 = -1.453152027;
        double r4442937 = 1.061405429;
        double r4442938 = r4442932 * r4442937;
        double r4442939 = r4442936 + r4442938;
        double r4442940 = r4442932 * r4442939;
        double r4442941 = r4442935 + r4442940;
        double r4442942 = r4442932 * r4442941;
        double r4442943 = r4442934 + r4442942;
        double r4442944 = r4442932 * r4442943;
        double r4442945 = r4442933 + r4442944;
        double r4442946 = r4442932 * r4442945;
        double r4442947 = r4442929 * r4442929;
        double r4442948 = -r4442947;
        double r4442949 = exp(r4442948);
        double r4442950 = r4442946 * r4442949;
        double r4442951 = r4442926 - r4442950;
        return r4442951;
}

↓

double f(double x) {
        double r4442952 = 1.0;
        double r4442953 = 0.254829592;
        double r4442954 = 1.421413741;
        double r4442955 = -1.453152027;
        double r4442956 = 1.061405429;
        double r4442957 = 0.3275911;
        double r4442958 = x;
        double r4442959 = fabs(r4442958);
        double r4442960 = r4442957 * r4442959;
        double r4442961 = r4442952 + r4442960;
        double r4442962 = r4442956 / r4442961;
        double r4442963 = r4442955 + r4442962;
        double r4442964 = r4442963 / r4442961;
        double r4442965 = r4442954 + r4442964;
        double r4442966 = r4442965 / r4442961;
        double r4442967 = -0.284496736;
        double r4442968 = r4442966 + r4442967;
        double r4442969 = r4442968 / r4442961;
        double r4442970 = r4442953 + r4442969;
        double r4442971 = r4442959 * r4442959;
        double r4442972 = exp(r4442971);
        double r4442973 = r4442972 * r4442961;
        double r4442974 = r4442970 / r4442973;
        double r4442975 = r4442974 * r4442974;
        double r4442976 = r4442974 * r4442975;
        double r4442977 = r4442976 * r4442976;
        double r4442978 = cbrt(r4442977);
        double r4442979 = r4442978 * r4442974;
        double r4442980 = 3.0;
        double r4442981 = pow(r4442979, r4442980);
        double r4442982 = r4442952 - r4442981;
        double r4442983 = r4442979 * r4442979;
        double r4442984 = r4442983 + r4442979;
        double r4442985 = r4442984 + r4442952;
        double r4442986 = r4442982 / r4442985;
        double r4442987 = r4442974 + r4442952;
        double r4442988 = r4442987 + r4442975;
        double r4442989 = r4442986 / r4442988;
        return r4442989;
}

Error

Bits error versus x

Derivation

1. Initial program 13.9

   \[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

2. Simplified 13.9

   \[\leadsto \color{blue}{1 - \frac{\frac{\frac{\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}}\]
3. Using strategy rm

4. Applied flip3-- 13.9

   \[\leadsto \color{blue}{\frac{{1}^{3} - {\left(\frac{\frac{\frac{\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}{1 \cdot 1 + \left(\frac{\frac{\frac{\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot e^{\left|x\right| \cdot \left|x\right|}} \cdot \frac{\frac{\frac{\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot e^{\left|x\right| \cdot \left|x\right|}} + 1 \cdot \frac{\frac{\frac{\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}\right)}}\]

5. Simplified 13.9

   \[\leadsto \frac{\color{blue}{1 - \left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}}{1 \cdot 1 + \left(\frac{\frac{\frac{\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot e^{\left|x\right| \cdot \left|x\right|}} \cdot \frac{\frac{\frac{\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot e^{\left|x\right| \cdot \left|x\right|}} + 1 \cdot \frac{\frac{\frac{\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}\right)}\]

6. Simplified 13.9

   \[\leadsto \frac{1 - \left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}{\color{blue}{\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} + \left(1 + \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}}\]
7. Using strategy rm

8. Applied add-cbrt-cube 13.1

   \[\leadsto \frac{1 - \left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \color{blue}{\sqrt[3]{\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}{\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} + \left(1 + \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}\]

9. Applied add-cbrt-cube 13.2

   \[\leadsto \frac{1 - \left(\color{blue}{\sqrt[3]{\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}} \cdot \sqrt[3]{\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}{\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} + \left(1 + \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}\]

10. Applied cbrt-unprod 13.1

    \[\leadsto \frac{1 - \color{blue}{\sqrt[3]{\left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}{\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} + \left(1 + \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}\]
11. Using strategy rm

12. Applied flip3-- 13.0

    \[\leadsto \frac{\color{blue}{\frac{{1}^{3} - {\left(\sqrt[3]{\left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}^{3}}{1 \cdot 1 + \left(\left(\sqrt[3]{\left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \left(\sqrt[3]{\left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) + 1 \cdot \left(\sqrt[3]{\left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \left(\left(\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)}}}{\frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} \cdot \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)} + \left(1 + \frac{\frac{\frac{1.421413741 + \frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911}}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}\]

13. Final simplification 13.0

    \[\leadsto \frac{\frac{1 - {\left(\sqrt[3]{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right) \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)}^{3}}{\left(\left(\sqrt[3]{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right) \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right) \cdot \left(\sqrt[3]{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right) \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right) + \sqrt[3]{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right) \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right)\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}\right) + 1}}{\left(\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} + 1\right) + \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)} \cdot \frac{0.254829592 + \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + -0.284496736}{1 + 0.3275911 \cdot \left|x\right|}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + 0.3275911 \cdot \left|x\right|\right)}}\]

Reproduce

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