Jmat.Real.erf

Average Error: 13.9 → 9.8

Time: 14.5s

Precision: 64

Math

\[1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

↓

\[\left(2 \cdot \log \left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right) + \log \left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right)\right) + \frac{1}{2} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1.0614054289999999, -1.45315202700000001\right), 1.42141374100000006\right), -0.284496735999999972\right), 0.25482959199999999\right), \frac{-\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1\right)\]

C

double f(double x) {
        double r205014 = 1.0;
        double r205015 = 0.3275911;
        double r205016 = x;
        double r205017 = fabs(r205016);
        double r205018 = r205015 * r205017;
        double r205019 = r205014 + r205018;
        double r205020 = r205014 / r205019;
        double r205021 = 0.254829592;
        double r205022 = -0.284496736;
        double r205023 = 1.421413741;
        double r205024 = -1.453152027;
        double r205025 = 1.061405429;
        double r205026 = r205020 * r205025;
        double r205027 = r205024 + r205026;
        double r205028 = r205020 * r205027;
        double r205029 = r205023 + r205028;
        double r205030 = r205020 * r205029;
        double r205031 = r205022 + r205030;
        double r205032 = r205020 * r205031;
        double r205033 = r205021 + r205032;
        double r205034 = r205020 * r205033;
        double r205035 = r205017 * r205017;
        double r205036 = -r205035;
        double r205037 = exp(r205036);
        double r205038 = r205034 * r205037;
        double r205039 = r205014 - r205038;
        return r205039;
}

↓

double f(double x) {
        double r205040 = 2.0;
        double r205041 = 1.0;
        double r205042 = 1.0;
        double r205043 = x;
        double r205044 = fabs(r205043);
        double r205045 = pow(r205044, r205040);
        double r205046 = exp(r205045);
        double r205047 = r205042 / r205046;
        double r205048 = 0.3275911;
        double r205049 = r205048 * r205044;
        double r205050 = r205041 + r205049;
        double r205051 = r205041 / r205050;
        double r205052 = r205047 * r205051;
        double r205053 = 0.254829592;
        double r205054 = -0.284496736;
        double r205055 = 1.421413741;
        double r205056 = -1.453152027;
        double r205057 = 1.061405429;
        double r205058 = r205051 * r205057;
        double r205059 = r205056 + r205058;
        double r205060 = r205051 * r205059;
        double r205061 = r205055 + r205060;
        double r205062 = r205051 * r205061;
        double r205063 = r205054 + r205062;
        double r205064 = r205051 * r205063;
        double r205065 = r205053 + r205064;
        double r205066 = r205052 * r205065;
        double r205067 = r205041 - r205066;
        double r205068 = exp(r205067);
        double r205069 = sqrt(r205068);
        double r205070 = cbrt(r205069);
        double r205071 = log(r205070);
        double r205072 = r205040 * r205071;
        double r205073 = r205072 + r205071;
        double r205074 = 0.5;
        double r205075 = fma(r205048, r205044, r205041);
        double r205076 = r205041 / r205075;
        double r205077 = fma(r205076, r205057, r205056);
        double r205078 = fma(r205076, r205077, r205055);
        double r205079 = fma(r205076, r205078, r205054);
        double r205080 = fma(r205076, r205079, r205053);
        double r205081 = r205047 * r205041;
        double r205082 = -r205081;
        double r205083 = r205082 / r205075;
        double r205084 = fma(r205080, r205083, r205041);
        double r205085 = r205074 * r205084;
        double r205086 = r205073 + r205085;
        return r205086;
}

Error

Bits error versus x

Derivation

1. Initial program 13.9

   \[1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
2. Using strategy rm

3. Applied add-log-exp 13.9

   \[\leadsto 1 - \color{blue}{\log \left(e^{\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\right)}\]

4. Applied add-log-exp 13.9

   \[\leadsto \color{blue}{\log \left(e^{1}\right)} - \log \left(e^{\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\right)\]

5. Applied diff-log 14.7

   \[\leadsto \color{blue}{\log \left(\frac{e^{1}}{e^{\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)}\]

6. Simplified 13.9

   \[\leadsto \log \color{blue}{\left(e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}\right)}\]
7. Using strategy rm

8. Applied add-sqr-sqrt 13.9

   \[\leadsto \log \color{blue}{\left(\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}} \cdot \sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}\right)}\]

9. Applied log-prod 13.9

   \[\leadsto \color{blue}{\log \left(\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}\right) + \log \left(\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}\right)}\]
10. Using strategy rm

11. Applied pow1 13.9

    \[\leadsto \log \left(\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}\right) + \log \left(\sqrt{\color{blue}{{\left(e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}\right)}^{1}}}\right)\]

12. Applied sqrt-pow1 13.9

    \[\leadsto \log \left(\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}\right) + \log \color{blue}{\left({\left(e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}\right)}^{\left(\frac{1}{2}\right)}\right)}\]

13. Applied log-pow 13.9

    \[\leadsto \log \left(\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}\right) + \color{blue}{\frac{1}{2} \cdot \log \left(e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}\right)}\]

14. Simplified 9.7

    \[\leadsto \log \left(\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}\right) + \frac{1}{2} \cdot \color{blue}{\mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1.0614054289999999, -1.45315202700000001\right), 1.42141374100000006\right), -0.284496735999999972\right), 0.25482959199999999\right), \frac{-\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1\right)}\]
15. Using strategy rm

16. Applied add-cube-cbrt 10.5

    \[\leadsto \log \color{blue}{\left(\left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}} \cdot \sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right) \cdot \sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right)} + \frac{1}{2} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1.0614054289999999, -1.45315202700000001\right), 1.42141374100000006\right), -0.284496735999999972\right), 0.25482959199999999\right), \frac{-\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1\right)\]

17. Applied log-prod 10.1

    \[\leadsto \color{blue}{\left(\log \left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}} \cdot \sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right) + \log \left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right)\right)} + \frac{1}{2} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1.0614054289999999, -1.45315202700000001\right), 1.42141374100000006\right), -0.284496735999999972\right), 0.25482959199999999\right), \frac{-\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1\right)\]

18. Simplified 9.8

    \[\leadsto \left(\color{blue}{2 \cdot \log \left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right)} + \log \left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right)\right) + \frac{1}{2} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1.0614054289999999, -1.45315202700000001\right), 1.42141374100000006\right), -0.284496735999999972\right), 0.25482959199999999\right), \frac{-\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1\right)\]

19. Final simplification 9.8

    \[\leadsto \left(2 \cdot \log \left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right) + \log \left(\sqrt[3]{\sqrt{e^{1 - \left(\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|}\right) \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)}}}\right)\right) + \frac{1}{2} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, \mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1.0614054289999999, -1.45315202700000001\right), 1.42141374100000006\right), -0.284496735999999972\right), 0.25482959199999999\right), \frac{-\frac{1}{e^{{\left(\left|x\right|\right)}^{2}}} \cdot 1}{\mathsf{fma}\left(0.32759110000000002, \left|x\right|, 1\right)}, 1\right)\]

Reproduce

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