Initial program 14.1
\[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|}\]
- Using strategy
rm Applied distribute-lft-in14.1
\[\leadsto 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 + \color{blue}{\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(\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|}\]
Simplified14.1
\[\leadsto 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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \color{blue}{\left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}}\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
- Using strategy
rm Applied sub-neg14.1
\[\leadsto \color{blue}{1 + \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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}\]
Simplified14.1
\[\leadsto 1 + \color{blue}{\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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\]
- Using strategy
rm Applied add-log-exp14.8
\[\leadsto 1 + \color{blue}{\log \left(e^{\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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}\]
Applied add-log-exp14.8
\[\leadsto \color{blue}{\log \left(e^{1}\right)} + \log \left(e^{\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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)\]
Applied sum-log14.8
\[\leadsto \color{blue}{\log \left(e^{1} \cdot e^{\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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}\]
Simplified14.1
\[\leadsto \log \color{blue}{\left(e^{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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)}\]
- Using strategy
rm Applied add-cbrt-cube14.1
\[\leadsto \log \left(e^{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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{\color{blue}{\sqrt[3]{\left(1 \cdot 1\right) \cdot 1}}}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)\]
Applied add-cbrt-cube14.1
\[\leadsto \log \left(e^{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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\frac{\color{blue}{\sqrt[3]{\left({\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2} \cdot {\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}\right) \cdot {\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}}}{\sqrt[3]{\left(1 \cdot 1\right) \cdot 1}}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)\]
Applied cbrt-undiv14.1
\[\leadsto \log \left(e^{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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{1}{\color{blue}{\sqrt[3]{\frac{\left({\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2} \cdot {\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}\right) \cdot {\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{\left(1 \cdot 1\right) \cdot 1}}}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)\]
Applied add-cbrt-cube14.1
\[\leadsto \log \left(e^{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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \frac{\color{blue}{\sqrt[3]{\left(1 \cdot 1\right) \cdot 1}}}{\sqrt[3]{\frac{\left({\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2} \cdot {\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}\right) \cdot {\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{\left(1 \cdot 1\right) \cdot 1}}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)\]
Applied cbrt-undiv14.1
\[\leadsto \log \left(e^{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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \color{blue}{\sqrt[3]{\frac{\left(1 \cdot 1\right) \cdot 1}{\frac{\left({\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2} \cdot {\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}\right) \cdot {\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{\left(1 \cdot 1\right) \cdot 1}}}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)\]
Simplified14.1
\[\leadsto \log \left(e^{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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \sqrt[3]{\color{blue}{{\left(\frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)}^{3}}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)\]
Final simplification14.1
\[\leadsto \log \left(e^{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 + \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.421413741000000063863240029604639858007 + \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right) \cdot \sqrt[3]{{\left(\frac{1}{\frac{{\left(0.3275911000000000239396058532292954623699 \cdot \left|x\right| + 1\right)}^{2}}{1}}\right)}^{3}}\right)\right)\right)\right) \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}}}}\right)\]