Average Error: 14.1 → 12.2
Time: 4.0m
Precision: 64
Internal Precision: 384
\[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|}\]
\[\begin{array}{l} \mathbf{if}\;x \le -0.01278825840059491:\\ \;\;\;\;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(\left(\sqrt[3]{-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)} \cdot \sqrt[3]{-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) \cdot \sqrt[3]{-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|}\\ \mathbf{if}\;x \le 9.606703064722269 \cdot 10^{-18}:\\ \;\;\;\;\left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\frac{\left(\left({\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{5} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right)\right) \cdot \left({\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right)}^{3} + {\left(\frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right)}^{3}\right) - \left(1.061405429 \cdot \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right) + \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} \cdot \frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}} \cdot \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right) \cdot \left({\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{5} \cdot e^{\left|x\right| \cdot \left|x\right|}\right)\right) \cdot \left(\left(\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right) - \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right) \cdot \left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right) + \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}} \cdot \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right)}{\left(\frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}} \cdot \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}} + \left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + \left(1 - \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right)\right) \cdot \left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right)\right) \cdot \left(\left({\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{5} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\frac{\frac{0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right)\right)}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\\ \mathbf{else}:\\ \;\;\;\;\left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\log \left(e^{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}} + \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right) - \left(1.061405429 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}} + \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} + 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}\right)}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\\ \end{array}\]

Error

Bits error versus x

Derivation

  1. Split input into 3 regimes
  2. if x < -0.01278825840059491

    1. Initial program 0.0

      \[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|}\]
    2. Using strategy rm
    3. Applied add-cube-cbrt0.0

      \[\leadsto 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 \color{blue}{\left(\left(\sqrt[3]{-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)} \cdot \sqrt[3]{-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) \cdot \sqrt[3]{-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|}\]

    if -0.01278825840059491 < x < 9.606703064722269e-18

    1. Initial program 27.9

      \[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|}\]
    2. Using strategy rm
    3. Applied flip-+27.9

      \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \color{blue}{\frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
    4. Using strategy rm
    5. Applied add-cube-cbrt27.9

      \[\leadsto \color{blue}{\left(\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}} \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\]
    6. Applied simplify26.4

      \[\leadsto \color{blue}{\left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}}\right)} \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    7. Taylor expanded around 0 26.4

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\color{blue}{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}} + \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right) - \left(1.061405429 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}} + \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} + 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    8. Using strategy rm
    9. Applied flip-+26.4

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}} + \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right) - \left(1.061405429 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}} + \color{blue}{\frac{\left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) - \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right) \cdot \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)}{0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}}}\right)}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    10. Applied un-div-inv26.4

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}} + \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right) - \left(\color{blue}{\frac{1.061405429}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}}} + \frac{\left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) - \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right) \cdot \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)}{0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}}\right)}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    11. Applied frac-add26.4

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}} + \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right) - \color{blue}{\frac{1.061405429 \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right) + \left(e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}\right) \cdot \left(\left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) - \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right) \cdot \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}{\left(e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)}}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    12. Applied flip3-+29.1

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\color{blue}{\frac{{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right)}^{3} + {\left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)}^{3}}{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) \cdot \left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) + \left(\left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right) \cdot \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right) - \left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) \cdot \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right)}} - \frac{1.061405429 \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right) + \left(e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}\right) \cdot \left(\left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) - \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right) \cdot \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}{\left(e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    13. Applied frac-sub24.1

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\color{blue}{\frac{\left({\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right)}^{3} + {\left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)}^{3}\right) \cdot \left(\left(e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right) - \left(\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) \cdot \left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) + \left(\left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right) \cdot \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right) - \left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) \cdot \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right)\right) \cdot \left(1.061405429 \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right) + \left(e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}\right) \cdot \left(\left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right) - \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right) \cdot \left(1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)\right)}{\left(\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) \cdot \left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) + \left(\left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right) \cdot \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right) - \left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) \cdot \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right)\right) \cdot \left(\left(e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    14. Applied simplify24.1

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\frac{\color{blue}{\left(\left({\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{5} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right)\right) \cdot \left({\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right)}^{3} + {\left(\frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right)}^{3}\right) - \left(1.061405429 \cdot \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right) + \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} \cdot \frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}} \cdot \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right) \cdot \left({\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{5} \cdot e^{\left|x\right| \cdot \left|x\right|}\right)\right) \cdot \left(\left(\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right) - \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right) \cdot \left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right) + \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}} \cdot \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right)}}{\left(\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) \cdot \left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) + \left(\left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right) \cdot \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right) - \left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}}\right) \cdot \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right)\right) \cdot \left(\left(e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}\right) \cdot \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} - 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    15. Applied simplify24.1

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\frac{\left(\left({\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{5} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right)\right) \cdot \left({\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right)}^{3} + {\left(\frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right)}^{3}\right) - \left(1.061405429 \cdot \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right) + \left(\frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} \cdot \frac{\frac{0.254829592}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}} \cdot \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right) \cdot \left({\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{5} \cdot e^{\left|x\right| \cdot \left|x\right|}\right)\right) \cdot \left(\left(\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right) - \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right) \cdot \left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right) + \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}} \cdot \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right)}{\color{blue}{\left(\frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}} \cdot \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}} + \left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + \left(1 - \frac{\frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{4}}\right)\right) \cdot \left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)} + 1\right)\right) \cdot \left(\left({\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{5} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\frac{\frac{0.254829592}{\left|x\right| \cdot 0.3275911 + 1}}{e^{\left|x\right| \cdot \left|x\right|}} - \frac{\frac{1.421413741}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\left|x\right| \cdot 0.3275911 + 1\right)}^{3}}\right)\right)}}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]

    if 9.606703064722269e-18 < x

    1. Initial program 1.3

      \[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|}\]
    2. Using strategy rm
    3. Applied flip-+1.3

      \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \color{blue}{\frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
    4. Using strategy rm
    5. Applied add-cube-cbrt1.3

      \[\leadsto \color{blue}{\left(\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}} \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\]
    6. Applied simplify1.3

      \[\leadsto \color{blue}{\left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}}\right)} \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    7. Taylor expanded around 0 1.3

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\color{blue}{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}} + \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right) - \left(1.061405429 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}} + \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} + 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
    8. Using strategy rm
    9. Applied add-log-exp1.3

      \[\leadsto \left(\sqrt[3]{1 - \frac{\frac{\frac{\left(0.254829592 + \left(\frac{\frac{1.421413741}{\left|x\right| \cdot 0.3275911 + 1}}{\left|x\right| \cdot 0.3275911 + 1} + \frac{-0.284496736}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) + \frac{\frac{-1.453152027 + \frac{1.061405429}{\left|x\right| \cdot 0.3275911 + 1}}{\left(\left|x\right| \cdot 0.3275911 + 1\right) \cdot \left(\left|x\right| \cdot 0.3275911 + 1\right)}}{\left|x\right| \cdot 0.3275911 + 1}}{1}}{e^{\left|x\right| \cdot \left|x\right|}}}{\left|x\right| \cdot 0.3275911 + 1}} \cdot \sqrt[3]{\color{blue}{\log \left(e^{\left(1.453152027 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}} + \left(1 + 0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}}\right)\right) - \left(1.061405429 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}} + \left(0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)} + 1.421413741 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}}\right)\right)}\right)}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{0.254829592 \cdot 0.254829592 - \left(\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) \cdot \left(\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)}{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) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
  3. Recombined 3 regimes into one program.

Runtime

Time bar (total: 4.0m)Debug logProfile

herbie shell --seed '#(1070258749 1877548225 2229079127 1588002776 3179087814 1886870650)' 
(FPCore (x)
  :name "Jmat.Real.erf"
  (- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))