Average Error: 13.7 → 13.7
Time: 22.7s
Precision: 64
\[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{1 \cdot 1 - \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 1}\]
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{1 \cdot 1 - \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 1}
double f(double x) {
        double r193903 = 1.0;
        double r193904 = 0.3275911;
        double r193905 = x;
        double r193906 = fabs(r193905);
        double r193907 = r193904 * r193906;
        double r193908 = r193903 + r193907;
        double r193909 = r193903 / r193908;
        double r193910 = 0.254829592;
        double r193911 = -0.284496736;
        double r193912 = 1.421413741;
        double r193913 = -1.453152027;
        double r193914 = 1.061405429;
        double r193915 = r193909 * r193914;
        double r193916 = r193913 + r193915;
        double r193917 = r193909 * r193916;
        double r193918 = r193912 + r193917;
        double r193919 = r193909 * r193918;
        double r193920 = r193911 + r193919;
        double r193921 = r193909 * r193920;
        double r193922 = r193910 + r193921;
        double r193923 = r193909 * r193922;
        double r193924 = r193906 * r193906;
        double r193925 = -r193924;
        double r193926 = exp(r193925);
        double r193927 = r193923 * r193926;
        double r193928 = r193903 - r193927;
        return r193928;
}
↓
double f(double x) {
        double r193929 = 1.0;
        double r193930 = r193929 * r193929;
        double r193931 = -0.284496736;
        double r193932 = 0.3275911;
        double r193933 = x;
        double r193934 = fabs(r193933);
        double r193935 = r193932 * r193934;
        double r193936 = r193929 + r193935;
        double r193937 = r193929 / r193936;
        double r193938 = 1.421413741;
        double r193939 = 1.061405429;
        double r193940 = sqrt(r193936);
        double r193941 = r193929 / r193940;
        double r193942 = r193941 / r193940;
        double r193943 = r193939 * r193942;
        double r193944 = -1.453152027;
        double r193945 = r193943 + r193944;
        double r193946 = r193937 * r193945;
        double r193947 = r193938 + r193946;
        double r193948 = r193937 * r193947;
        double r193949 = r193931 + r193948;
        double r193950 = r193949 * r193937;
        double r193951 = 0.254829592;
        double r193952 = r193950 + r193951;
        double r193953 = 2.0;
        double r193954 = pow(r193934, r193953);
        double r193955 = exp(r193954);
        double r193956 = r193952 / r193955;
        double r193957 = r193956 * r193929;
        double r193958 = r193957 / r193936;
        double r193959 = r193958 * r193958;
        double r193960 = r193930 - r193959;
        double r193961 = r193958 + r193929;
        double r193962 = r193960 / r193961;
        return r193962;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 13.7

    \[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. Simplified13.7

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

  4. Applied add-sqr-sqrt13.8

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

  5. Applied *-un-lft-identity13.8

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

  6. Applied times-frac13.7

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

  8. Applied flip--13.7

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

  9. Simplified13.7

    \[\leadsto \frac{\color{blue}{1 \cdot 1 - \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{1 + \frac{1 \cdot \frac{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 + \left(\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot 1.061405428999999900341322245367337018251\right)\right)\right)}{e^{\left|x\right| \cdot \left|x\right|}}}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\]

  10. Simplified13.7

    \[\leadsto \frac{1 \cdot 1 - \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\color{blue}{\frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 1}}\]

  11. Final simplification13.7

    \[\leadsto \frac{1 \cdot 1 - \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}{\frac{\frac{\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.061405428999999900341322245367337018251 \cdot \frac{\frac{1}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} + -1.453152027000000012790792425221297889948\right)\right)\right) \cdot \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 0.2548295919999999936678136691625695675611}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} + 1}\]

Reproduce

herbie shell --seed 2019212 
(FPCore (x)
  :name "Jmat.Real.erf"
  :precision binary64
  (- 1 (* (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) (+ 0.25482959199999999 (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) (+ -0.284496735999999972 (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) (+ 1.42141374100000006 (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) (+ -1.45315202700000001 (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) 1.0614054289999999))))))))) (exp (- (* (fabs x) (fabs x)))))))