Average Error: 13.6 → 12.9
Time: 32.7s
Precision: 64
\[1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
↓
\[\frac{{1}^{3} - \mathsf{log1p}\left(\mathsf{expm1}\left({\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}^{3} \cdot {\left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}^{3}\right)\right)}{\mathsf{fma}\left(\mathsf{fma}\left(e^{-{\left(\left|x\right|\right)}^{2}}, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right), 1\right), \frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}, 1 \cdot 1\right)}\]
1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
↓
\frac{{1}^{3} - \mathsf{log1p}\left(\mathsf{expm1}\left({\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}^{3} \cdot {\left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}^{3}\right)\right)}{\mathsf{fma}\left(\mathsf{fma}\left(e^{-{\left(\left|x\right|\right)}^{2}}, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right), 1\right), \frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}, 1 \cdot 1\right)}
double f(double x) {
        double r152173 = 1.0;
        double r152174 = 0.3275911;
        double r152175 = x;
        double r152176 = fabs(r152175);
        double r152177 = r152174 * r152176;
        double r152178 = r152173 + r152177;
        double r152179 = r152173 / r152178;
        double r152180 = 0.254829592;
        double r152181 = -0.284496736;
        double r152182 = 1.421413741;
        double r152183 = -1.453152027;
        double r152184 = 1.061405429;
        double r152185 = r152179 * r152184;
        double r152186 = r152183 + r152185;
        double r152187 = r152179 * r152186;
        double r152188 = r152182 + r152187;
        double r152189 = r152179 * r152188;
        double r152190 = r152181 + r152189;
        double r152191 = r152179 * r152190;
        double r152192 = r152180 + r152191;
        double r152193 = r152179 * r152192;
        double r152194 = r152176 * r152176;
        double r152195 = -r152194;
        double r152196 = exp(r152195);
        double r152197 = r152193 * r152196;
        double r152198 = r152173 - r152197;
        return r152198;
}
↓
double f(double x) {
        double r152199 = 1.0;
        double r152200 = 3.0;
        double r152201 = pow(r152199, r152200);
        double r152202 = 0.3275911;
        double r152203 = x;
        double r152204 = fabs(r152203);
        double r152205 = fma(r152202, r152204, r152199);
        double r152206 = r152199 / r152205;
        double r152207 = 2.0;
        double r152208 = pow(r152204, r152207);
        double r152209 = exp(r152208);
        double r152210 = sqrt(r152209);
        double r152211 = r152206 / r152210;
        double r152212 = pow(r152211, r152200);
        double r152213 = 1.061405429;
        double r152214 = -1.453152027;
        double r152215 = fma(r152213, r152206, r152214);
        double r152216 = 1.421413741;
        double r152217 = fma(r152215, r152206, r152216);
        double r152218 = -0.284496736;
        double r152219 = fma(r152217, r152206, r152218);
        double r152220 = 0.254829592;
        double r152221 = fma(r152219, r152206, r152220);
        double r152222 = r152221 / r152210;
        double r152223 = pow(r152222, r152200);
        double r152224 = r152212 * r152223;
        double r152225 = expm1(r152224);
        double r152226 = log1p(r152225);
        double r152227 = r152201 - r152226;
        double r152228 = -r152208;
        double r152229 = exp(r152228);
        double r152230 = r152206 * r152221;
        double r152231 = fma(r152229, r152230, r152199);
        double r152232 = r152230 / r152209;
        double r152233 = r152199 * r152199;
        double r152234 = fma(r152231, r152232, r152233);
        double r152235 = r152227 / r152234;
        return r152235;
}

Error

Bits error versus x

Derivation

  1. Initial program 13.6

    \[1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  2. Using strategy rm

  3. Applied add-sqr-sqrt13.6

    \[\leadsto 1 - \left(\frac{1}{\color{blue}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

  4. Applied add-sqr-sqrt13.6

    \[\leadsto 1 - \left(\frac{\color{blue}{\sqrt{1} \cdot \sqrt{1}}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

  5. Applied times-frac13.6

    \[\leadsto 1 - \left(\color{blue}{\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right)} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

  6. Applied associate-*l*13.6

    \[\leadsto 1 - \color{blue}{\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right)} \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

  7. Simplified13.6

    \[\leadsto 1 - \left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \color{blue}{\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right) \cdot \frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  8. Using strategy rm

  9. Applied flip3--13.6

    \[\leadsto \color{blue}{\frac{{1}^{3} - {\left(\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right) \cdot \frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{1 \cdot 1 + \left(\left(\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right) \cdot \frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right) \cdot \frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) + 1 \cdot \left(\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right) \cdot \frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)\right)}}\]

  10. Simplified13.6

    \[\leadsto \frac{\color{blue}{{1}^{3} - {\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}}}{1 \cdot 1 + \left(\left(\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right) \cdot \frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right) \cdot \frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) + 1 \cdot \left(\left(\frac{\sqrt{1}}{\sqrt{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right) \cdot \frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)\right)}\]

  11. Simplified13.6

    \[\leadsto \frac{{1}^{3} - {\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}}{\color{blue}{\mathsf{fma}\left(\mathsf{fma}\left(e^{-{\left(\left|x\right|\right)}^{2}}, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right), 1\right), \frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}, 1 \cdot 1\right)}}\]
  12. Using strategy rm

  13. Applied log1p-expm1-u12.9

    \[\leadsto \frac{{1}^{3} - \color{blue}{\mathsf{log1p}\left(\mathsf{expm1}\left({\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right)\right)}}{\mathsf{fma}\left(\mathsf{fma}\left(e^{-{\left(\left|x\right|\right)}^{2}}, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right), 1\right), \frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}, 1 \cdot 1\right)}\]
  14. Using strategy rm

  15. Applied add-sqr-sqrt12.9

    \[\leadsto \frac{{1}^{3} - \mathsf{log1p}\left(\mathsf{expm1}\left({\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{\color{blue}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}} \cdot \sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}}\right)}^{3}\right)\right)}{\mathsf{fma}\left(\mathsf{fma}\left(e^{-{\left(\left|x\right|\right)}^{2}}, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right), 1\right), \frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}, 1 \cdot 1\right)}\]

  16. Applied times-frac12.9

    \[\leadsto \frac{{1}^{3} - \mathsf{log1p}\left(\mathsf{expm1}\left({\color{blue}{\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}} \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}}^{3}\right)\right)}{\mathsf{fma}\left(\mathsf{fma}\left(e^{-{\left(\left|x\right|\right)}^{2}}, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right), 1\right), \frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}, 1 \cdot 1\right)}\]

  17. Applied unpow-prod-down12.9

    \[\leadsto \frac{{1}^{3} - \mathsf{log1p}\left(\mathsf{expm1}\left(\color{blue}{{\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}^{3} \cdot {\left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}^{3}}\right)\right)}{\mathsf{fma}\left(\mathsf{fma}\left(e^{-{\left(\left|x\right|\right)}^{2}}, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right), 1\right), \frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}, 1 \cdot 1\right)}\]

  18. Final simplification12.9

    \[\leadsto \frac{{1}^{3} - \mathsf{log1p}\left(\mathsf{expm1}\left({\left(\frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}^{3} \cdot {\left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{\sqrt{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}^{3}\right)\right)}{\mathsf{fma}\left(\mathsf{fma}\left(e^{-{\left(\left|x\right|\right)}^{2}}, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right), 1\right), \frac{\frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(1.061405428999999900341322245367337018251, \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -1.453152027000000012790792425221297889948\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 1.421413741000000063863240029604639858007\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, -0.2844967359999999723108032867457950487733\right), \frac{1}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}, 0.2548295919999999936678136691625695675611\right)}{e^{{\left(\left|x\right|\right)}^{2}}}, 1 \cdot 1\right)}\]

Reproduce

herbie shell --seed 2019325 +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)))))))