\(\frac{\frac{{1}^{3} - {\left(\log_* (1 + (e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^3} - 1)^*)\right)}^{3}}{{1}^2 + \left({\left(\log_* (1 + (e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^3} - 1)^*)\right)}^2 + 1 \cdot \log_* (1 + (e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^3} - 1)^*)\right)}}{(\left({\left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right)}^2\right) * \left({\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right)}^2\right) + \left((\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right) * \left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\right))_*}\)
- Started with
\[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|}\]
13.9
- Applied simplify to get
\[\color{red}{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|}} \leadsto \color{blue}{1 - \frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}}\]
13.9
- Using strategy
rm 13.9
- Applied flip3-- to get
\[\color{red}{1 - \frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}} \leadsto \color{blue}{\frac{{1}^{3} - {\left(\frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}{{1}^2 + \left({\left(\frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^2 + 1 \cdot \frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}}\]
13.9
- Applied simplify to get
\[\frac{\color{red}{{1}^{3} - {\left(\frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^{3}}}{{1}^2 + \left({\left(\frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^2 + 1 \cdot \frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)} \leadsto \frac{\color{blue}{1 - {\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(-0.284496736 + \frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{{\left(\left|x\right|\right)}^2}}\right)}^3}}{{1}^2 + \left({\left(\frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^2 + 1 \cdot \frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}\]
13.9
- Applied simplify to get
\[\frac{1 - {\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(-0.284496736 + \frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{{\left(\left|x\right|\right)}^2}}\right)}^3}{\color{red}{{1}^2 + \left({\left(\frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^2 + 1 \cdot \frac{(\left((\left(\frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}} \leadsto \frac{1 - {\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(-0.284496736 + \frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{{\left(\left|x\right|\right)}^2}}\right)}^3}{\color{blue}{(\left({\left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right)}^2\right) * \left({\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right)}^2\right) + \left((\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right) * \left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\right))_*}}\]
13.9
- Using strategy
rm 13.9
- Applied log1p-expm1-u to get
\[\frac{1 - \color{red}{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(-0.284496736 + \frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{{\left(\left|x\right|\right)}^2}}\right)}^3}}{(\left({\left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right)}^2\right) * \left({\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right)}^2\right) + \left((\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right) * \left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\right))_*} \leadsto \frac{1 - \color{blue}{\log_* (1 + (e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(-0.284496736 + \frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{{\left(\left|x\right|\right)}^2}}\right)}^3} - 1)^*)}}{(\left({\left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right)}^2\right) * \left({\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right)}^2\right) + \left((\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right) * \left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\right))_*}\]
13.1
- Applied simplify to get
\[\frac{1 - \log_* (1 + \color{red}{(e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(-0.284496736 + \frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) * \left(\frac{\frac{1}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{{\left(\left|x\right|\right)}^2}}\right)}^3} - 1)^*})}{(\left({\left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right)}^2\right) * \left({\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right)}^2\right) + \left((\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right) * \left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\right))_*} \leadsto \frac{1 - \log_* (1 + \color{blue}{(e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^3} - 1)^*})}{(\left({\left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right)}^2\right) * \left({\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right)}^2\right) + \left((\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right) * \left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\right))_*}\]
13.1
- Using strategy
rm 13.1
- Applied flip3-- to get
\[\frac{\color{red}{1 - \log_* (1 + (e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^3} - 1)^*)}}{(\left({\left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right)}^2\right) * \left({\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right)}^2\right) + \left((\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right) * \left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\right))_*} \leadsto \frac{\color{blue}{\frac{{1}^{3} - {\left(\log_* (1 + (e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^3} - 1)^*)\right)}^{3}}{{1}^2 + \left({\left(\log_* (1 + (e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^3} - 1)^*)\right)}^2 + 1 \cdot \log_* (1 + (e^{{\left(\frac{(\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*}{e^{\left|x\right| \cdot \left|x\right|}}\right)}^3} - 1)^*)\right)}}}{(\left({\left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right)}^2\right) * \left({\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right)}^2\right) + \left((\left({\left(e^{\left|x\right|}\right)}^{\left(-\left|x\right|\right)}\right) * \left((\left((\left(-1.453152027 + \frac{1.061405429}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{1.421413741}{(0.3275911 * \left(\left|x\right|\right) + 1)_*} + -0.284496736\right))_*\right) * \left(\frac{1}{{\left((0.3275911 * \left(\left|x\right|\right) + 1)_*\right)}^2}\right) + \left(\frac{0.254829592}{(0.3275911 * \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\right))_*}\]
13.0
- Removed slow pow expressions
