Initial program 13.8
\[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
- Using strategy
rm Applied add-log-exp13.8
\[\leadsto 1 - \color{blue}{\log \left(e^{\left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\right)}\]
Applied add-log-exp13.8
\[\leadsto \color{blue}{\log \left(e^{1}\right)} - \log \left(e^{\left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\right)\]
Applied diff-log14.5
\[\leadsto \color{blue}{\log \left(\frac{e^{1}}{e^{\left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)}\]
Simplified13.8
\[\leadsto \log \color{blue}{\left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)}\]
- Using strategy
rm Applied add-exp-log13.8
\[\leadsto \color{blue}{e^{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}}\]
- Using strategy
rm Applied add-cube-cbrt13.8
\[\leadsto e^{\color{blue}{\left(\sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)} \cdot \sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}\right) \cdot \sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}}}\]
Applied exp-prod13.8
\[\leadsto \color{blue}{{\left(e^{\sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)} \cdot \sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}\right)}}\]
- Using strategy
rm Applied add-cube-cbrt13.8
\[\leadsto {\left(e^{\sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)} \cdot \sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\log \left(e^{\color{blue}{\left(\sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}}}\right)\right)}\right)}\]
Applied exp-prod13.8
\[\leadsto {\left(e^{\sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)} \cdot \sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\log \color{blue}{\left({\left(e^{\sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}}\right)}^{\left(\sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)}\right)}\right)}\right)}\]
Applied log-pow13.0
\[\leadsto {\left(e^{\sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)} \cdot \sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}}\right)}^{\left(\sqrt[3]{\log \color{blue}{\left(\sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}} \cdot \log \left(e^{\sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{1 - \frac{\frac{\frac{\frac{\frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1} + 1.421413741}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}}\right)\right)}}\right)}\]
Final simplification13.0
\[\leadsto {\left(e^{\sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)} \cdot \sqrt[3]{\log \left(\log \left(e^{1 - \frac{\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\sqrt[3]{1 - \frac{\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}} \cdot \log \left(e^{\sqrt[3]{1 - \frac{\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{1 - \frac{\frac{0.254829592 + \frac{\frac{1.421413741 + \frac{\frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1} + -1.453152027}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}}}}\right)\right)}\right)}\]