Average Error: 13.5 → 12.0
Time: 3.1m
Precision: 64
\[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|}\]
↓
\[\sqrt[3]{\log \left(e^{\sqrt[3]{1 - \frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\log \left(\frac{e}{e^{\frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}}}\right)}}\right) \cdot \sqrt[3]{1 - \frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}}} \cdot \left(\sqrt[3]{\log \left(e^{1 - \frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)} \cdot \sqrt[3]{\log \left(e^{1 - \frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)}\right)\]
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|}
↓
\sqrt[3]{\log \left(e^{\sqrt[3]{1 - \frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\log \left(\frac{e}{e^{\frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}}}\right)}}\right) \cdot \sqrt[3]{1 - \frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}}} \cdot \left(\sqrt[3]{\log \left(e^{1 - \frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)} \cdot \sqrt[3]{\log \left(e^{1 - \frac{\frac{0.254829592 + \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}}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)}\right)
double f(double x) {
        double r5857866 = 1.0;
        double r5857867 = 0.3275911;
        double r5857868 = x;
        double r5857869 = fabs(r5857868);
        double r5857870 = r5857867 * r5857869;
        double r5857871 = r5857866 + r5857870;
        double r5857872 = r5857866 / r5857871;
        double r5857873 = 0.254829592;
        double r5857874 = -0.284496736;
        double r5857875 = 1.421413741;
        double r5857876 = -1.453152027;
        double r5857877 = 1.061405429;
        double r5857878 = r5857872 * r5857877;
        double r5857879 = r5857876 + r5857878;
        double r5857880 = r5857872 * r5857879;
        double r5857881 = r5857875 + r5857880;
        double r5857882 = r5857872 * r5857881;
        double r5857883 = r5857874 + r5857882;
        double r5857884 = r5857872 * r5857883;
        double r5857885 = r5857873 + r5857884;
        double r5857886 = r5857872 * r5857885;
        double r5857887 = r5857869 * r5857869;
        double r5857888 = -r5857887;
        double r5857889 = exp(r5857888);
        double r5857890 = r5857886 * r5857889;
        double r5857891 = r5857866 - r5857890;
        return r5857891;
}
↓
double f(double x) {
        double r5857892 = 1.0;
        double r5857893 = 0.254829592;
        double r5857894 = 1.061405429;
        double r5857895 = x;
        double r5857896 = fabs(r5857895);
        double r5857897 = 0.3275911;
        double r5857898 = r5857896 * r5857897;
        double r5857899 = r5857892 + r5857898;
        double r5857900 = r5857894 / r5857899;
        double r5857901 = -1.453152027;
        double r5857902 = r5857900 + r5857901;
        double r5857903 = r5857902 / r5857899;
        double r5857904 = 1.421413741;
        double r5857905 = r5857903 + r5857904;
        double r5857906 = r5857905 / r5857899;
        double r5857907 = -0.284496736;
        double r5857908 = r5857906 + r5857907;
        double r5857909 = r5857908 / r5857899;
        double r5857910 = r5857893 + r5857909;
        double r5857911 = r5857910 / r5857899;
        double r5857912 = r5857896 * r5857896;
        double r5857913 = exp(r5857912);
        double r5857914 = r5857911 / r5857913;
        double r5857915 = r5857892 - r5857914;
        double r5857916 = cbrt(r5857915);
        double r5857917 = exp(1.0);
        double r5857918 = exp(r5857914);
        double r5857919 = r5857917 / r5857918;
        double r5857920 = log(r5857919);
        double r5857921 = cbrt(r5857920);
        double r5857922 = r5857916 * r5857921;
        double r5857923 = exp(r5857922);
        double r5857924 = log(r5857923);
        double r5857925 = r5857924 * r5857916;
        double r5857926 = cbrt(r5857925);
        double r5857927 = exp(r5857915);
        double r5857928 = log(r5857927);
        double r5857929 = cbrt(r5857928);
        double r5857930 = r5857929 * r5857929;
        double r5857931 = r5857926 * r5857930;
        return r5857931;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 13.5

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

    \[\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 add-log-exp13.5

    \[\leadsto 1 - \color{blue}{\log \left(e^{\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. Applied add-log-exp13.5

    \[\leadsto \color{blue}{\log \left(e^{1}\right)} - \log \left(e^{\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. Applied diff-log14.2

    \[\leadsto \color{blue}{\log \left(\frac{e^{1}}{e^{\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)}\]

  7. Simplified13.5

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

  9. Applied add-cube-cbrt13.5

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

  11. Applied add-cube-cbrt13.5

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

  12. Applied exp-prod13.5

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

  13. Applied log-pow12.7

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

  15. Applied add-log-exp12.7

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

  16. Applied add-log-exp12.7

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

  17. Applied diff-log12.0

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

  18. Final simplification12.0

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

Reproduce

herbie shell --seed 2019129 
(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)))))))