Average Error: 13.5 → 13.5
Time: 11.8s
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 r265044 = 1.0;
        double r265045 = 0.3275911;
        double r265046 = x;
        double r265047 = fabs(r265046);
        double r265048 = r265045 * r265047;
        double r265049 = r265044 + r265048;
        double r265050 = r265044 / r265049;
        double r265051 = 0.254829592;
        double r265052 = -0.284496736;
        double r265053 = 1.421413741;
        double r265054 = -1.453152027;
        double r265055 = 1.061405429;
        double r265056 = r265050 * r265055;
        double r265057 = r265054 + r265056;
        double r265058 = r265050 * r265057;
        double r265059 = r265053 + r265058;
        double r265060 = r265050 * r265059;
        double r265061 = r265052 + r265060;
        double r265062 = r265050 * r265061;
        double r265063 = r265051 + r265062;
        double r265064 = r265050 * r265063;
        double r265065 = r265047 * r265047;
        double r265066 = -r265065;
        double r265067 = exp(r265066);
        double r265068 = r265064 * r265067;
        double r265069 = r265044 - r265068;
        return r265069;
}
↓
double f(double x) {
        double r265070 = 1.0;
        double r265071 = 0.284496736;
        double r265072 = x;
        double r265073 = fabs(r265072);
        double r265074 = 2.0;
        double r265075 = pow(r265073, r265074);
        double r265076 = -r265075;
        double r265077 = exp(r265076);
        double r265078 = 0.3275911;
        double r265079 = r265078 * r265073;
        double r265080 = r265079 + r265070;
        double r265081 = pow(r265080, r265074);
        double r265082 = r265077 / r265081;
        double r265083 = r265071 * r265082;
        double r265084 = 1.453152027;
        double r265085 = 4.0;
        double r265086 = pow(r265080, r265085);
        double r265087 = r265077 / r265086;
        double r265088 = r265084 * r265087;
        double r265089 = r265083 + r265088;
        double r265090 = r265070 + r265089;
        double r265091 = 1.061405429;
        double r265092 = 5.0;
        double r265093 = pow(r265080, r265092);
        double r265094 = r265077 / r265093;
        double r265095 = r265091 * r265094;
        double r265096 = 1.421413741;
        double r265097 = 3.0;
        double r265098 = pow(r265080, r265097);
        double r265099 = r265077 / r265098;
        double r265100 = r265096 * r265099;
        double r265101 = 0.254829592;
        double r265102 = r265077 / r265080;
        double r265103 = r265101 * r265102;
        double r265104 = r265100 + r265103;
        double r265105 = r265095 + r265104;
        double r265106 = r265090 - r265105;
        double r265107 = exp(r265106);
        double r265108 = log(r265107);
        double r265109 = log(r265108);
        double r265110 = exp(r265109);
        return r265110;
}

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)))))))