Average Error: 13.5 → 13.5
Time: 18.9s
Precision: 64
\[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|}\]
↓
\[e^{\log \left(\log \left(e^{\left(1 + \left(0.284496735999999972 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}} + 1.45315202700000001 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{4}}\right)\right) - \left(1.0614054289999999 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{5}} + \left(1.42141374100000006 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{3}} + 0.25482959199999999 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{0.32759110000000002 \cdot \left|x\right| + 1}\right)\right)}\right)\right)}\]
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|}
↓
e^{\log \left(\log \left(e^{\left(1 + \left(0.284496735999999972 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{2}} + 1.45315202700000001 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{4}}\right)\right) - \left(1.0614054289999999 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{5}} + \left(1.42141374100000006 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.32759110000000002 \cdot \left|x\right| + 1\right)}^{3}} + 0.25482959199999999 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{0.32759110000000002 \cdot \left|x\right| + 1}\right)\right)}\right)\right)}
double f(double x) {
        double r213948 = 1.0;
        double r213949 = 0.3275911;
        double r213950 = x;
        double r213951 = fabs(r213950);
        double r213952 = r213949 * r213951;
        double r213953 = r213948 + r213952;
        double r213954 = r213948 / r213953;
        double r213955 = 0.254829592;
        double r213956 = -0.284496736;
        double r213957 = 1.421413741;
        double r213958 = -1.453152027;
        double r213959 = 1.061405429;
        double r213960 = r213954 * r213959;
        double r213961 = r213958 + r213960;
        double r213962 = r213954 * r213961;
        double r213963 = r213957 + r213962;
        double r213964 = r213954 * r213963;
        double r213965 = r213956 + r213964;
        double r213966 = r213954 * r213965;
        double r213967 = r213955 + r213966;
        double r213968 = r213954 * r213967;
        double r213969 = r213951 * r213951;
        double r213970 = -r213969;
        double r213971 = exp(r213970);
        double r213972 = r213968 * r213971;
        double r213973 = r213948 - r213972;
        return r213973;
}
↓
double f(double x) {
        double r213974 = 1.0;
        double r213975 = 0.284496736;
        double r213976 = x;
        double r213977 = fabs(r213976);
        double r213978 = 2.0;
        double r213979 = pow(r213977, r213978);
        double r213980 = -r213979;
        double r213981 = exp(r213980);
        double r213982 = 0.3275911;
        double r213983 = r213982 * r213977;
        double r213984 = r213983 + r213974;
        double r213985 = pow(r213984, r213978);
        double r213986 = r213981 / r213985;
        double r213987 = r213975 * r213986;
        double r213988 = 1.453152027;
        double r213989 = 4.0;
        double r213990 = pow(r213984, r213989);
        double r213991 = r213981 / r213990;
        double r213992 = r213988 * r213991;
        double r213993 = r213987 + r213992;
        double r213994 = r213974 + r213993;
        double r213995 = 1.061405429;
        double r213996 = 5.0;
        double r213997 = pow(r213984, r213996);
        double r213998 = r213981 / r213997;
        double r213999 = r213995 * r213998;
        double r214000 = 1.421413741;
        double r214001 = 3.0;
        double r214002 = pow(r213984, r214001);
        double r214003 = r213981 / r214002;
        double r214004 = r214000 * r214003;
        double r214005 = 0.254829592;
        double r214006 = r213981 / r213984;
        double r214007 = r214005 * r214006;
        double r214008 = r214004 + r214007;
        double r214009 = r213999 + r214008;
        double r214010 = r213994 - r214009;
        double r214011 = exp(r214010);
        double r214012 = log(r214011);
        double r214013 = log(r214012);
        double r214014 = exp(r214013);
        return r214014;
}

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.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. Taylor expanded around 0 13.5

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

  4. Applied add-exp-log13.5

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

  6. Applied add-log-exp13.5

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

  7. Applied add-log-exp13.5

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

  8. Applied sum-log13.5

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

  9. Applied add-log-exp13.5

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

  10. Applied sum-log13.5

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

  11. Applied add-log-exp13.5

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

  12. Applied add-log-exp13.5

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

  13. Applied sum-log13.6

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

  14. Applied add-log-exp13.6

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

  15. Applied sum-log13.6

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

  16. Applied diff-log13.5

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

  17. Simplified13.5

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

  18. Final simplification13.5

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

Reproduce

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