Average Error: 13.6 → 12.8
Time: 47.6s
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|}\]
↓
\[\frac{\left(\sqrt{{1}^{3}} + \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right) \cdot \left(\sqrt{{1}^{3}} - \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \left(\sqrt[3]{\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)}} \cdot \sqrt[3]{\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)}}\right) \cdot \left(\sqrt[3]{\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)}} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right)}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]
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|}
↓
\frac{\left(\sqrt{{1}^{3}} + \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right) \cdot \left(\sqrt{{1}^{3}} - \sqrt{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \left(\sqrt[3]{\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)}} \cdot \sqrt[3]{\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)}}\right) \cdot \left(\sqrt[3]{\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)}} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}\right)}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(\left(1 - 0.32759110000000002 \cdot \left|x\right|\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) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}
double f(double x) {
        double r461103 = 1.0;
        double r461104 = 0.3275911;
        double r461105 = x;
        double r461106 = fabs(r461105);
        double r461107 = r461104 * r461106;
        double r461108 = r461103 + r461107;
        double r461109 = r461103 / r461108;
        double r461110 = 0.254829592;
        double r461111 = -0.284496736;
        double r461112 = 1.421413741;
        double r461113 = -1.453152027;
        double r461114 = 1.061405429;
        double r461115 = r461109 * r461114;
        double r461116 = r461113 + r461115;
        double r461117 = r461109 * r461116;
        double r461118 = r461112 + r461117;
        double r461119 = r461109 * r461118;
        double r461120 = r461111 + r461119;
        double r461121 = r461109 * r461120;
        double r461122 = r461110 + r461121;
        double r461123 = r461109 * r461122;
        double r461124 = r461106 * r461106;
        double r461125 = -r461124;
        double r461126 = exp(r461125);
        double r461127 = r461123 * r461126;
        double r461128 = r461103 - r461127;
        return r461128;
}
↓
double f(double x) {
        double r461129 = 1.0;
        double r461130 = 3.0;
        double r461131 = pow(r461129, r461130);
        double r461132 = sqrt(r461131);
        double r461133 = 0.3275911;
        double r461134 = x;
        double r461135 = fabs(r461134);
        double r461136 = r461133 * r461135;
        double r461137 = r461129 + r461136;
        double r461138 = r461129 / r461137;
        double r461139 = 0.254829592;
        double r461140 = r461129 * r461129;
        double r461141 = r461136 * r461136;
        double r461142 = r461140 - r461141;
        double r461143 = r461129 / r461142;
        double r461144 = r461129 - r461136;
        double r461145 = -0.284496736;
        double r461146 = 1.421413741;
        double r461147 = -1.453152027;
        double r461148 = 1.061405429;
        double r461149 = r461138 * r461148;
        double r461150 = r461147 + r461149;
        double r461151 = r461138 * r461150;
        double r461152 = r461146 + r461151;
        double r461153 = r461138 * r461152;
        double r461154 = r461145 + r461153;
        double r461155 = r461144 * r461154;
        double r461156 = r461143 * r461155;
        double r461157 = r461139 + r461156;
        double r461158 = r461138 * r461157;
        double r461159 = r461135 * r461135;
        double r461160 = -r461159;
        double r461161 = exp(r461160);
        double r461162 = r461158 * r461161;
        double r461163 = pow(r461162, r461130);
        double r461164 = sqrt(r461163);
        double r461165 = r461132 + r461164;
        double r461166 = cbrt(r461143);
        double r461167 = r461166 * r461166;
        double r461168 = r461166 * r461155;
        double r461169 = r461167 * r461168;
        double r461170 = r461139 + r461169;
        double r461171 = r461138 * r461170;
        double r461172 = r461171 * r461161;
        double r461173 = pow(r461172, r461130);
        double r461174 = sqrt(r461173);
        double r461175 = r461132 - r461174;
        double r461176 = r461165 * r461175;
        double r461177 = r461162 + r461129;
        double r461178 = r461162 * r461177;
        double r461179 = r461178 + r461140;
        double r461180 = r461176 / r461179;
        return r461180;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 13.6

    \[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 flip-+13.6

    \[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{\color{blue}{\frac{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)}{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|}\]

  4. Applied associate-/r/13.6

    \[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \color{blue}{\left(\frac{1}{1 \cdot 1 - \left(0.32759110000000002 \cdot \left|x\right|\right) \cdot \left(0.32759110000000002 \cdot \left|x\right|\right)} \cdot \left(1 - 0.32759110000000002 \cdot \left|x\right|\right)\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|}\]

  5. Applied associate-*l*13.6

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

  7. Applied flip3--13.6

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

  8. Simplified13.6

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

  10. Applied add-sqr-sqrt12.8

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

  11. Applied add-sqr-sqrt12.8

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

  12. Applied difference-of-squares12.8

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

  14. Applied add-cube-cbrt12.8

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

  15. Applied associate-*l*12.8

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

  16. Final simplification12.8

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

Reproduce

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