Average Error: 13.7 → 10.5
Time: 2.6m
Precision: 64
Internal Precision: 128
\[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 -6.786541073241462 \cdot 10^{-13}:\\ \;\;\;\;\frac{\frac{1 - {\left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right)\right)}^{3}}{1 + \left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) + \left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right)\right) \cdot \left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right)\right)\right)}}{e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right) + 1}\\ \mathbf{elif}\;x \le 6.87566219293704 \cdot 10^{-16}:\\ \;\;\;\;\frac{1 - \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \sqrt[3]{\frac{{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot (\left(-0.3275911\right) \cdot \left(\left|x\right|\right) + 1)_*\right) \cdot \left((\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) + 1.421413741)_*\right) \cdot \left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) + -0.284496736)_*\right) + \left(0.254829592 \cdot (\left(-0.3275911\right) \cdot \left(\left|x\right|\right) + 1)_*\right))_*\right)}^{3}}{\frac{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}{\frac{\frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}}}}\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right)}{e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right) + 1}\\ \mathbf{else}:\\ \;\;\;\;\frac{1 - \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(\left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot 0.254829592\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*} + (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_* \cdot \left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{(\left(\left|x\right|\right) \cdot \left(-0.3275911\right) + 1)_*}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot e^{\left(-\left|x\right|\right) \cdot \left|x\right|}\right)}{e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right) + 1}\\ \end{array}\]

Error

Bits error versus x

Derivation

  1. Split input into 3 regimes

  2. if x < -6.786541073241462e-13

    1. Initial program 0.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|}\]
    2. Using strategy rm

    3. Applied flip-+0.8

      \[\leadsto 1 - \left(\frac{1}{\color{blue}{\frac{1 \cdot 1 - \left(0.3275911 \cdot \left|x\right|\right) \cdot \left(0.3275911 \cdot \left|x\right|\right)}{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|}\]

    4. Applied associate-/r/0.8

      \[\leadsto 1 - \left(\color{blue}{\left(\frac{1}{1 \cdot 1 - \left(0.3275911 \cdot \left|x\right|\right) \cdot \left(0.3275911 \cdot \left|x\right|\right)} \cdot \left(1 - 0.3275911 \cdot \left|x\right|\right)\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|}\]

    5. Applied associate-*l*0.8

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

    6. Simplified0.8

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

    8. Applied flip--0.8

      \[\leadsto \color{blue}{\frac{1 \cdot 1 - \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}{1 + \left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\]
    9. Using strategy rm

    10. Applied flip3--0.8

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

    if -6.786541073241462e-13 < x < 6.87566219293704e-16

    1. Initial program 28.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 flip-+28.0

      \[\leadsto 1 - \left(\frac{1}{\color{blue}{\frac{1 \cdot 1 - \left(0.3275911 \cdot \left|x\right|\right) \cdot \left(0.3275911 \cdot \left|x\right|\right)}{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|}\]

    4. Applied associate-/r/28.0

      \[\leadsto 1 - \left(\color{blue}{\left(\frac{1}{1 \cdot 1 - \left(0.3275911 \cdot \left|x\right|\right) \cdot \left(0.3275911 \cdot \left|x\right|\right)} \cdot \left(1 - 0.3275911 \cdot \left|x\right|\right)\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|}\]

    5. Applied associate-*l*28.0

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

    6. Simplified28.0

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

    8. Applied flip--28.0

      \[\leadsto \color{blue}{\frac{1 \cdot 1 - \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}{1 + \left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\]
    9. Using strategy rm

    10. Applied add-cbrt-cube21.3

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

    11. Applied add-cbrt-cube21.3

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

    12. Applied cbrt-unprod21.3

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

    13. Simplified21.3

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

    if 6.87566219293704e-16 < x

    1. Initial program 1.1

      \[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.0

      \[\leadsto 1 - \left(\frac{1}{\color{blue}{\frac{1 \cdot 1 - \left(0.3275911 \cdot \left|x\right|\right) \cdot \left(0.3275911 \cdot \left|x\right|\right)}{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|}\]

    4. Applied associate-/r/1.0

      \[\leadsto 1 - \left(\color{blue}{\left(\frac{1}{1 \cdot 1 - \left(0.3275911 \cdot \left|x\right|\right) \cdot \left(0.3275911 \cdot \left|x\right|\right)} \cdot \left(1 - 0.3275911 \cdot \left|x\right|\right)\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|}\]

    5. Applied associate-*l*1.0

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

    6. Simplified1.0

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

    8. Applied flip--1.0

      \[\leadsto \color{blue}{\frac{1 \cdot 1 - \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}{1 + \left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\]
    9. Using strategy rm

    10. Applied distribute-rgt-in1.0

      \[\leadsto \frac{1 \cdot 1 - \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \color{blue}{\left(0.254829592 \cdot \left(1 - 0.3275911 \cdot \left|x\right|\right) + \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(1 - 0.3275911 \cdot \left|x\right|\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}{1 + \left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]

    11. Applied distribute-rgt-in1.0

      \[\leadsto \frac{1 \cdot 1 - \left(\color{blue}{\left(\left(0.254829592 \cdot \left(1 - 0.3275911 \cdot \left|x\right|\right)\right) \cdot \frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} + \left(\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(1 - 0.3275911 \cdot \left|x\right|\right)\right) \cdot \frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)} \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}{1 + \left(\frac{1}{(\left(\left(0.3275911 \cdot 0.3275911\right) \cdot \left|x\right|\right) \cdot \left(-\left|x\right|\right) + 1)_*} \cdot \left(\left(1 - 0.3275911 \cdot \left|x\right|\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)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]

    12. Simplified1.0

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

  4. Final simplification10.5

    \[\leadsto \begin{array}{l} \mathbf{if}\;x \le -6.786541073241462 \cdot 10^{-13}:\\ \;\;\;\;\frac{\frac{1 - {\left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right)\right)}^{3}}{1 + \left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) + \left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right)\right) \cdot \left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right)\right)\right)}}{e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right) + 1}\\ \mathbf{elif}\;x \le 6.87566219293704 \cdot 10^{-16}:\\ \;\;\;\;\frac{1 - \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \sqrt[3]{\frac{{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot (\left(-0.3275911\right) \cdot \left(\left|x\right|\right) + 1)_*\right) \cdot \left((\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) + 1.421413741)_*\right) \cdot \left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) + -0.284496736)_*\right) + \left(0.254829592 \cdot (\left(-0.3275911\right) \cdot \left(\left|x\right|\right) + 1)_*\right))_*\right)}^{3}}{\frac{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}{\frac{\frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}}}}\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right)}{e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right) + 1}\\ \mathbf{else}:\\ \;\;\;\;\frac{1 - \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(\left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot 0.254829592\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*} + (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_* \cdot \left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{(\left(\left|x\right|\right) \cdot \left(-0.3275911\right) + 1)_*}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right)\right) \cdot e^{\left(-\left|x\right|\right) \cdot \left|x\right|}\right)}{e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\left(\left(1 - \left|x\right| \cdot 0.3275911\right) \cdot \left(0.254829592 + \frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(-0.284496736 + \left(1.421413741 + \left(-1.453152027 + 1.061405429 \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right)\right) \cdot \frac{1}{(\left(\left|x\right| \cdot \left(0.3275911 \cdot 0.3275911\right)\right) \cdot \left(-\left|x\right|\right) + 1)_*}\right) + 1}\\ \end{array}\]

Reproduce

herbie shell --seed 2019016 +o rules:numerics
(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)))))))

Details

Time bar (total: 2.6m)Debug log

sample160.0ms

Algorithm
intervals
Results
256×(pre true 80)
133×(body real 80)
123×(body real 160)

simplify260.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
260.0ms
(- 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))))))

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.7b

localize71.0ms

Local error

Found 4 expressions with local error:

13.6b
(- 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))))))
0.4b
(+ 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))))))))
0.1b
(* (/ 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)))))))))
0.1b
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
12×add-exp-log
12×associate-*l*
8×add-cube-cbrt
8×add-cbrt-cube
8×*-un-lft-identity
8×pow1
8×add-sqr-sqrt
7×flip-+
7×flip3-+
6×associate-*r*
4×add-log-exp
4×log1p-expm1-u
4×associate-/r/
4×associate-*r/
4×prod-exp
4×frac-times
4×expm1-log1p-u
3×distribute-lft-in
3×distribute-rgt-in
2×div-inv
2×cbrt-unprod
2×*-commutative
2×associate-*l/
2×pow-prod-down
2×associate-+r+
2×rec-exp
1×flip--
1×flip3--
1×sub-neg
1×+-commutative
Counts
4 → 87
Calls
4 calls:
Slowest
16.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))
9.0ms
(* (/ 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)))))))))
3.0ms
(+ 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))))))))
2.0ms
(- 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))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
989.0ms
(- 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))))))
251.0ms
(* (/ 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)))))))))
238.0ms
(+ 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))))))))
136.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))

simplify11.9s

Counts
54 → 99
Calls
54 calls:
Slowest
650.0ms
(* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ 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)))))))) (+ 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))))))))) (+ 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))))))))))
590.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))
561.0ms
(* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))) (/ 1 (+ 1 (* 0.3275911 (fabs x)))))
471.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))
414.0ms
(* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))) (/ 1 (+ 1 (* 0.3275911 (fabs x)))))

prune1.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.6b

localize57.0ms

Local error

Found 4 expressions with local error:

14.5b
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
13.6b
(- 1 (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))
0.4b
(* (* 0.3275911 0.3275911) (fabs x))
0.4b
(+ 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))))))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log
16×frac-times
12×associate-*r/
11×add-cbrt-cube
11×pow1
7×flip--
7×flip-+
7×prod-exp
7×flip3--
7×flip3-+
6×add-cube-cbrt
6×*-un-lft-identity
6×add-sqr-sqrt
5×associate-*l/
5×associate-*l*
5×distribute-lft-in
5×distribute-rgt-in
4×add-log-exp
4×log1p-expm1-u
4×cbrt-unprod
4×pow-prod-down
4×associate-*r*
4×expm1-log1p-u
2×*-commutative
2×associate-+r+
2×rec-exp
1×div-inv
1×sub-neg
1×+-commutative
Counts
4 → 88
Calls
4 calls:
Slowest
11.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
4.0ms
(* (* 0.3275911 0.3275911) (fabs x))
1.0ms
(+ 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))))))))
1.0ms
(- 1 (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))

series3.5s

Counts
4 → 12
Calls
4 calls:
Slowest
2.5s
(- 1 (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))
546.0ms
(+ 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))))))))
401.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
9.0ms
(* (* 0.3275911 0.3275911) (fabs x))

simplify14.4s

Counts
60 → 100
Calls
60 calls:
Slowest
810.0ms
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))))
724.0ms
(* (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1)) (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1))) (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))) (* (- 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)))))))))) (* (- 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)))))))))))
641.0ms
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (* (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))) (+ (* 0.254829592 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))))))) (* (/ 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)))))))) (* 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))))))))))))
587.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))
493.0ms
(* (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))) (+ (* 0.254829592 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))))))) (* (/ 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)))))))) (* 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)))))))))))

prune2.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.6b

localize54.0ms

Local error

Found 4 expressions with local error:

14.5b
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
14.5b
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
14.5b
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
14.5b
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
64×frac-times
48×associate-*r/
44×add-exp-log
24×flip--
24×flip-+
24×prod-exp
24×add-cbrt-cube
24×flip3--
24×flip3-+
24×pow1
20×associate-*l/
16×associate-*l*
16×distribute-lft-in
16×distribute-rgt-in
12×cbrt-unprod
12×pow-prod-down
8×add-cube-cbrt
8×*-un-lft-identity
8×rec-exp
8×add-sqr-sqrt
4×add-log-exp
4×div-inv
4×log1p-expm1-u
4×*-commutative
4×associate-*r*
4×expm1-log1p-u
Counts
4 → 176
Calls
4 calls:
Slowest
25.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
22.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
22.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
22.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
407.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
367.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
367.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
344.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))

simplify48.1s

Counts
172 → 188
Calls
172 calls:
Slowest
1.1s
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (* (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))) (+ (* 0.254829592 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))))))) (* (/ 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)))))))) (* 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))))))))))))
809.0ms
(* (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1)) (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1))) (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))) (* (- 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)))))))))) (* (- 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)))))))))))
789.0ms
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))))
755.0ms
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))))
750.0ms
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))))

prune7.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.6b

localize32.0ms

Local error

Found 4 expressions with local error:

14.5b
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
14.5b
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
14.5b
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
10.4b
(- (* 1 1) (* (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))) (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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)))))))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
48×frac-times
36×associate-*r/
34×add-exp-log
19×flip--
19×add-cbrt-cube
19×flip3--
19×pow1
18×flip-+
18×prod-exp
18×flip3-+
15×associate-*l/
12×associate-*l*
12×distribute-lft-in
12×distribute-rgt-in
9×cbrt-unprod
9×pow-prod-down
7×add-cube-cbrt
7×*-un-lft-identity
7×add-sqr-sqrt
6×add-log-exp
6×rec-exp
4×log1p-expm1-u
4×expm1-log1p-u
3×div-inv
3×*-commutative
3×associate-*r*
1×difference-of-squares
1×prod-diff
1×diff-log
1×fma-neg
1×sub-neg
Counts
4 → 149
Calls
4 calls:
Slowest
23.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
22.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
22.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
6.0ms
(- (* 1 1) (* (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))) (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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)))))))

series10.1s

Counts
4 → 12
Calls
4 calls:
Slowest
9.0s
(- (* 1 1) (* (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))) (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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)))))))
414.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
367.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))
358.0ms
(* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))))

simplify38.9s

Counts
137 → 161
Calls
137 calls:
Slowest
1.0s
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (* (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))) (+ (* 0.254829592 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))))))) (* (/ 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)))))))) (* 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))))))))))))
830.0ms
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))))
792.0ms
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))))
703.0ms
(* (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1) (+ (* 1 1) (+ (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x))))))
629.0ms
(* (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1)) (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1))) (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 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))))))))) (* (- 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)))))))))) (* (- 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)))))))))))

prune6.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 10.4b

regimes751.0ms

Accuracy

98.7% (0.0b remaining)

Error of 10.5b against oracle of 10.5b and baseline of 13.7b

bsearch1.0s

end0.0ms

sample3.7s

Algorithm
intervals
Results
8000×(pre true 80)
4113×(body real 80)
3887×(body real 160)