Jmat.Real.erf

Average Error: 13.8 → 12.5

Time: 4.4m

Precision: 64

Math

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

↓

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

C

double f(double x) {
        double r15462803 = 1.0;
        double r15462804 = 0.3275911;
        double r15462805 = x;
        double r15462806 = fabs(r15462805);
        double r15462807 = r15462804 * r15462806;
        double r15462808 = r15462803 + r15462807;
        double r15462809 = r15462803 / r15462808;
        double r15462810 = 0.254829592;
        double r15462811 = -0.284496736;
        double r15462812 = 1.421413741;
        double r15462813 = -1.453152027;
        double r15462814 = 1.061405429;
        double r15462815 = r15462809 * r15462814;
        double r15462816 = r15462813 + r15462815;
        double r15462817 = r15462809 * r15462816;
        double r15462818 = r15462812 + r15462817;
        double r15462819 = r15462809 * r15462818;
        double r15462820 = r15462811 + r15462819;
        double r15462821 = r15462809 * r15462820;
        double r15462822 = r15462810 + r15462821;
        double r15462823 = r15462809 * r15462822;
        double r15462824 = r15462806 * r15462806;
        double r15462825 = -r15462824;
        double r15462826 = exp(r15462825);
        double r15462827 = r15462823 * r15462826;
        double r15462828 = r15462803 - r15462827;
        return r15462828;
}

↓

double f(double x) {
        double r15462829 = 1.0;
        double r15462830 = 0.254829592;
        double r15462831 = r15462830 * r15462830;
        double r15462832 = 1.421413741;
        double r15462833 = x;
        double r15462834 = fabs(r15462833);
        double r15462835 = 0.3275911;
        double r15462836 = r15462834 * r15462835;
        double r15462837 = r15462829 + r15462836;
        double r15462838 = r15462829 / r15462837;
        double r15462839 = 1.061405429;
        double r15462840 = r15462838 * r15462839;
        double r15462841 = -1.453152027;
        double r15462842 = r15462840 + r15462841;
        double r15462843 = r15462838 * r15462842;
        double r15462844 = r15462832 + r15462843;
        double r15462845 = r15462844 * r15462838;
        double r15462846 = -0.284496736;
        double r15462847 = r15462845 + r15462846;
        double r15462848 = r15462847 * r15462838;
        double r15462849 = r15462848 * r15462848;
        double r15462850 = r15462831 - r15462849;
        double r15462851 = r15462829 * r15462850;
        double r15462852 = -r15462834;
        double r15462853 = r15462852 * r15462834;
        double r15462854 = exp(r15462853);
        double r15462855 = r15462851 * r15462854;
        double r15462856 = r15462855 * r15462855;
        double r15462857 = -r15462856;
        double r15462858 = r15462855 * r15462857;
        double r15462859 = r15462830 - r15462848;
        double r15462860 = r15462859 * r15462837;
        double r15462861 = r15462858 / r15462860;
        double r15462862 = 1.0;
        double r15462863 = r15462860 * r15462860;
        double r15462864 = r15462862 / r15462863;
        double r15462865 = r15462855 * r15462856;
        double r15462866 = r15462865 / r15462860;
        double r15462867 = r15462866 * r15462864;
        double r15462868 = fma(r15462861, r15462864, r15462867);
        double r15462869 = r15462829 * r15462829;
        double r15462870 = -1.0;
        double r15462871 = r15462870 / r15462863;
        double r15462872 = r15462871 * r15462866;
        double r15462873 = fma(r15462829, r15462869, r15462872);
        double r15462874 = r15462868 + r15462873;
        double r15462875 = r15462848 + r15462830;
        double r15462876 = r15462838 * r15462875;
        double r15462877 = r15462854 * r15462876;
        double r15462878 = r15462829 * r15462877;
        double r15462879 = r15462877 * r15462877;
        double r15462880 = r15462878 + r15462879;
        double r15462881 = r15462869 + r15462880;
        double r15462882 = r15462874 / r15462881;
        return r15462882;
}

Error

Bits error versus x

Derivation

1. Initial program 13.8

   \[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 flip3-- 13.8

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

5. Applied flip-+ 13.8

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

6. Applied frac-times 13.8

   \[\leadsto \frac{{1}^{3} - {\left(\color{blue}{\frac{1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\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)}{\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)}} \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{1 \cdot 1 + \left(\left(\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|}\right) \cdot \left(\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|}\right) + 1 \cdot \left(\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|}\right)\right)}\]

7. Applied associate-*l/ 13.8

   \[\leadsto \frac{{1}^{3} - {\color{blue}{\left(\frac{\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}{\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)}\right)}}^{3}}{1 \cdot 1 + \left(\left(\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|}\right) \cdot \left(\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|}\right) + 1 \cdot \left(\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|}\right)\right)}\]

8. Applied cube-div 13.0

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

10. Applied unpow3 13.0

    \[\leadsto \frac{{1}^{3} - \frac{{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\color{blue}{\left(\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot \left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot \left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}}}{1 \cdot 1 + \left(\left(\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|}\right) \cdot \left(\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|}\right) + 1 \cdot \left(\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|}\right)\right)}\]

11. Applied *-un-lft-identity 13.0

    \[\leadsto \frac{{1}^{3} - \frac{\color{blue}{1 \cdot {\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}}{\left(\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot \left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot \left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}}{1 \cdot 1 + \left(\left(\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|}\right) \cdot \left(\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|}\right) + 1 \cdot \left(\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|}\right)\right)}\]

12. Applied times-frac 13.1

    \[\leadsto \frac{{1}^{3} - \color{blue}{\frac{1}{\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot \left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)} \cdot \frac{{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)}}}{1 \cdot 1 + \left(\left(\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|}\right) \cdot \left(\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|}\right) + 1 \cdot \left(\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|}\right)\right)}\]

13. Applied add-cube-cbrt 13.1

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

14. Applied unpow-prod-down 13.1

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

15. Applied prod-diff 12.5

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

16. Simplified 12.5

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

17. Simplified 12.5

    \[\leadsto \frac{\mathsf{fma}\left(1, 1 \cdot 1, \left(-\frac{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)\right)}{\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)}\right) \cdot \frac{1}{\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot \left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}\right) + \color{blue}{\mathsf{fma}\left(-\frac{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)\right)}{\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)}, \frac{1}{\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot \left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}, \frac{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\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) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)\right)}{\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)} \cdot \frac{1}{\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot \left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}\right)}}{1 \cdot 1 + \left(\left(\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|}\right) \cdot \left(\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|}\right) + 1 \cdot \left(\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|}\right)\right)}\]

18. Final simplification 12.5

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

Reproduce

herbie shell --seed 2019171 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.erf"
  (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))