\[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|}\]

↓

\[\begin{array}{l} \mathbf{if}\;\left|x\right| \le 1.230404683396740643926347912691030006549 \cdot 10^{-9}:\\ \;\;\;\;\frac{\log \left(e^{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) - \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007 \cdot 1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}}\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}\right), \left(\left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}\right)}{\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \mathsf{fma}\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}, \mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right), -\left(\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot e^{-{\left(\left|x\right|\right)}^{2}}\right) \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)\right), \left(\left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}{\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right)\right)}\\ \end{array}\]

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

↓

\begin{array}{l}
\mathbf{if}\;\left|x\right| \le 1.230404683396740643926347912691030006549 \cdot 10^{-9}:\\
\;\;\;\;\frac{\log \left(e^{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) - \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007 \cdot 1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}}\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}\right), \left(\left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}\right)}{\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right)}\\

\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \mathsf{fma}\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}, \mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right), -\left(\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot e^{-{\left(\left|x\right|\right)}^{2}}\right) \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)\right), \left(\left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}{\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right)\right)}\\

\end{array}

double f(double x) {
        double r144926 = 1.0;
        double r144927 = 0.3275911;
        double r144928 = x;
        double r144929 = fabs(r144928);
        double r144930 = r144927 * r144929;
        double r144931 = r144926 + r144930;
        double r144932 = r144926 / r144931;
        double r144933 = 0.254829592;
        double r144934 = -0.284496736;
        double r144935 = 1.421413741;
        double r144936 = -1.453152027;
        double r144937 = 1.061405429;
        double r144938 = r144932 * r144937;
        double r144939 = r144936 + r144938;
        double r144940 = r144932 * r144939;
        double r144941 = r144935 + r144940;
        double r144942 = r144932 * r144941;
        double r144943 = r144934 + r144942;
        double r144944 = r144932 * r144943;
        double r144945 = r144933 + r144944;
        double r144946 = r144932 * r144945;
        double r144947 = r144929 * r144929;
        double r144948 = -r144947;
        double r144949 = exp(r144948);
        double r144950 = r144946 * r144949;
        double r144951 = r144926 - r144950;
        return r144951;
}

↓

double f(double x) {
        double r144952 = x;
        double r144953 = fabs(r144952);
        double r144954 = 1.2304046833967406e-09;
        bool r144955 = r144953 <= r144954;
        double r144956 = 1.453152027;
        double r144957 = 0.3275911;
        double r144958 = 1.0;
        double r144959 = fma(r144957, r144953, r144958);
        double r144960 = 2.0;
        double r144961 = pow(r144959, r144960);
        double r144962 = r144956 / r144961;
        double r144963 = 0.284496736;
        double r144964 = r144962 - r144963;
        double r144965 = 3.0;
        double r144966 = pow(r144958, r144965);
        double r144967 = 1.061405429;
        double r144968 = 5.0;
        double r144969 = pow(r144959, r144968);
        double r144970 = pow(r144953, r144960);
        double r144971 = exp(r144970);
        double r144972 = r144969 * r144971;
        double r144973 = r144967 / r144972;
        double r144974 = pow(r144973, r144965);
        double r144975 = r144966 - r144974;
        double r144976 = 0.254829592;
        double r144977 = 1.421413741;
        double r144978 = r144977 / r144961;
        double r144979 = r144976 - r144978;
        double r144980 = r144975 * r144979;
        double r144981 = r144958 + r144973;
        double r144982 = r144973 * r144981;
        double r144983 = fma(r144958, r144958, r144982);
        double r144984 = r144976 * r144976;
        double r144985 = r144977 * r144977;
        double r144986 = 4.0;
        double r144987 = pow(r144959, r144986);
        double r144988 = r144985 / r144987;
        double r144989 = r144984 - r144988;
        double r144990 = -r144970;
        double r144991 = exp(r144990);
        double r144992 = r144991 / r144959;
        double r144993 = r144989 * r144992;
        double r144994 = r144983 * r144993;
        double r144995 = r144980 - r144994;
        double r144996 = r144979 * r144983;
        double r144997 = r144991 / r144961;
        double r144998 = r144996 * r144997;
        double r144999 = r144956 * r144956;
        double r145000 = r144999 / r144987;
        double r145001 = r144963 * r144963;
        double r145002 = r145000 - r145001;
        double r145003 = r144998 * r145002;
        double r145004 = fma(r144964, r144995, r145003);
        double r145005 = exp(r145004);
        double r145006 = log(r145005);
        double r145007 = r144964 * r144996;
        double r145008 = r145006 / r145007;
        double r145009 = r144978 - r144976;
        double r145010 = r144978 * r145009;
        double r145011 = fma(r144976, r144976, r145010);
        double r145012 = r144959 * r145011;
        double r145013 = r144983 * r144991;
        double r145014 = pow(r144976, r144965);
        double r145015 = pow(r144978, r144965);
        double r145016 = r145014 + r145015;
        double r145017 = r145013 * r145016;
        double r145018 = -r145017;
        double r145019 = fma(r144975, r145012, r145018);
        double r145020 = r145012 * r144983;
        double r145021 = r145020 * r144997;
        double r145022 = r145021 * r145002;
        double r145023 = fma(r144964, r145019, r145022);
        double r145024 = r145012 * r144964;
        double r145025 = r144983 * r145024;
        double r145026 = r145023 / r145025;
        double r145027 = r144955 ? r145008 : r145026;
        return r145027;
}

Derivation

Split input into 2 regimes
if (fabs x) < 1.2304046833967406e-09
1. Initial program 28.0
  \[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-cube-cbrt28.0
  \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(\color{blue}{\left(\sqrt[3]{0.2548295919999999936678136691625695675611} \cdot \sqrt[3]{0.2548295919999999936678136691625695675611}\right) \cdot \sqrt[3]{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 fma-def28.0
  \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \color{blue}{\mathsf{fma}\left(\sqrt[3]{0.2548295919999999936678136691625695675611} \cdot \sqrt[3]{0.2548295919999999936678136691625695675611}, \sqrt[3]{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. Taylor expanded around 0 28.0
  \[\leadsto \color{blue}{\left(1.453152027000000012790792425221297889948 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{4}} + \left(0.2844967359999999723108032867457950487733 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}} + 1\right)\right) - \left(0.2548295919999999936678136691625695675611 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1} + \left(1.061405428999999900341322245367337018251 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{5}} + 1.421413741000000063863240029604639858007 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}\]
6. Simplified28.0
  \[\leadsto \color{blue}{\left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) + \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} + 0.2844967359999999723108032867457950487733\right)}\]
7. Using strategy rm
8. Applied flip-+28.0
  \[\leadsto \left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) + \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \color{blue}{\frac{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}}\]
9. Applied associate-*r/28.0
  \[\leadsto \left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) + \color{blue}{\frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}}\]
10. Applied flip-+28.1
  \[\leadsto \left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \color{blue}{\frac{0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}}{0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}}}\right) + \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}\]
11. Applied associate-*r/28.1
  \[\leadsto \left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \color{blue}{\frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}{0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}}}\right) + \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}\]
12. Applied flip3--28.1
  \[\leadsto \left(\color{blue}{\frac{{1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}}{1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}} - \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}{0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}}\right) + \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}\]
13. Applied frac-sub28.1
  \[\leadsto \color{blue}{\frac{\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) - \left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)}{\left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}} + \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}\]
14. Applied frac-add28.5
  \[\leadsto \color{blue}{\frac{\left(\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) - \left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right) + \left(\left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) \cdot \left(\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}{\left(\left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right)}}\]
15. Simplified25.8
  \[\leadsto \frac{\color{blue}{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) - \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007 \cdot 1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}}\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}\right), \left(\left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}}{\left(\left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right)}\]
16. Simplified25.8
  \[\leadsto \frac{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) - \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007 \cdot 1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}}\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}\right), \left(\left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}{\color{blue}{\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right)}}\]
17. Using strategy rm
18. Applied add-log-exp24.7
  \[\leadsto \frac{\color{blue}{\log \left(e^{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) - \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007 \cdot 1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}}\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}\right), \left(\left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}\right)}}{\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right)}\]
if 1.2304046833967406e-09 < (fabs x)
1. Initial program 0.5
  \[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-cube-cbrt0.5
  \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(\color{blue}{\left(\sqrt[3]{0.2548295919999999936678136691625695675611} \cdot \sqrt[3]{0.2548295919999999936678136691625695675611}\right) \cdot \sqrt[3]{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 fma-def0.5
  \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \color{blue}{\mathsf{fma}\left(\sqrt[3]{0.2548295919999999936678136691625695675611} \cdot \sqrt[3]{0.2548295919999999936678136691625695675611}, \sqrt[3]{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. Taylor expanded around 0 0.5
  \[\leadsto \color{blue}{\left(1.453152027000000012790792425221297889948 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{4}} + \left(0.2844967359999999723108032867457950487733 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}} + 1\right)\right) - \left(0.2548295919999999936678136691625695675611 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1} + \left(1.061405428999999900341322245367337018251 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{5}} + 1.421413741000000063863240029604639858007 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}\]
6. Simplified0.5
  \[\leadsto \color{blue}{\left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) + \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} + 0.2844967359999999723108032867457950487733\right)}\]
7. Using strategy rm
8. Applied flip-+0.5
  \[\leadsto \left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) + \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \color{blue}{\frac{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}}\]
9. Applied associate-*r/0.5
  \[\leadsto \left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right) + \color{blue}{\frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}}\]
10. Applied flip3-+0.5
  \[\leadsto \left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)} \cdot \color{blue}{\frac{{0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}}{0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}}\right) + \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}\]
11. Applied frac-times0.5
  \[\leadsto \left(\left(1 - \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right) - \color{blue}{\frac{e^{-{\left(\left|x\right|\right)}^{2}} \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)}}\right) + \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}\]
12. Applied flip3--0.5
  \[\leadsto \left(\color{blue}{\frac{{1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}}{1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}} - \frac{e^{-{\left(\left|x\right|\right)}^{2}} \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)}\right) + \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}\]
13. Applied frac-sub0.5
  \[\leadsto \color{blue}{\frac{\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)\right) - \left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(e^{-{\left(\left|x\right|\right)}^{2}} \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)\right)}{\left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)\right)}} + \frac{\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)}{\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733}\]
14. Applied frac-add0.5
  \[\leadsto \color{blue}{\frac{\left(\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)\right) - \left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(e^{-{\left(\left|x\right|\right)}^{2}} \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right) + \left(\left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)\right)\right) \cdot \left(\frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}{\left(\left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right)}}\]
15. Simplified0.5
  \[\leadsto \frac{\color{blue}{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \mathsf{fma}\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}, \mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right), -\left(\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot e^{-{\left(\left|x\right|\right)}^{2}}\right) \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)\right), \left(\left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}}{\left(\left(1 \cdot 1 + \left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} + 1 \cdot \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 + \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611 \cdot \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)\right)\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right)}\]
16. Simplified0.5
  \[\leadsto \frac{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \mathsf{fma}\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}, \mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right), -\left(\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot e^{-{\left(\left|x\right|\right)}^{2}}\right) \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)\right), \left(\left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}{\color{blue}{\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right)\right)}}\]
Recombined 2 regimes into one program.
Final simplification12.3
\[\leadsto \begin{array}{l} \mathbf{if}\;\left|x\right| \le 1.230404683396740643926347912691030006549 \cdot 10^{-9}:\\ \;\;\;\;\frac{\log \left(e^{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) - \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007 \cdot 1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}}\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)}\right), \left(\left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}\right)}{\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right) \cdot \left(\left(0.2548295919999999936678136691625695675611 - \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{\mathsf{fma}\left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733, \mathsf{fma}\left({1}^{3} - {\left(\frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)}^{3}, \mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right), -\left(\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot e^{-{\left(\left|x\right|\right)}^{2}}\right) \cdot \left({0.2548295919999999936678136691625695675611}^{3} + {\left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right)}^{3}\right)\right), \left(\left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right)\right) \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}}\right) \cdot \left(\frac{1.453152027000000012790792425221297889948 \cdot 1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{4}} - 0.2844967359999999723108032867457950487733 \cdot 0.2844967359999999723108032867457950487733\right)\right)}{\mathsf{fma}\left(1, 1, \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}} \cdot \left(1 + \frac{1.061405428999999900341322245367337018251}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{5} \cdot e^{{\left(\left|x\right|\right)}^{2}}}\right)\right) \cdot \left(\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right) \cdot \mathsf{fma}\left(0.2548295919999999936678136691625695675611, 0.2548295919999999936678136691625695675611, \frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} \cdot \left(\frac{1.421413741000000063863240029604639858007}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2548295919999999936678136691625695675611\right)\right)\right) \cdot \left(\frac{1.453152027000000012790792425221297889948}{{\left(\mathsf{fma}\left(0.3275911000000000239396058532292954623699, \left|x\right|, 1\right)\right)}^{2}} - 0.2844967359999999723108032867457950487733\right)\right)}\\ \end{array}\]

Error

Derivation

`if (fabs x) < 1.2304046833967406e-09`

`if 1.2304046833967406e-09 < (fabs x)`

Reproduce