Error

Derivation

1. Split input into 2 regimes

2. if x < -2.6282467417609963e-14 or 4.694795794822411 < x

   1. Initial program 0.4

      \[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. Initial simplification0.4

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

   4. Applied add-cube-cbrt0.4

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

   6. Applied add-cube-cbrt0.4

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

   if -2.6282467417609963e-14 < x < 4.694795794822411

   1. Initial program 27.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. Initial simplification27.8

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

   3. Taylor expanded around -inf 27.8

      \[\leadsto \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(0.284496736 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}} + 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}} + \left(1.061405429 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot {\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}} + 0.254829592 \cdot \frac{1}{e^{{\left(\left|x\right|\right)}^{2}} \cdot \left(0.3275911 \cdot \left|x\right| + 1\right)}\right)\right)}\]

   4. Simplified27.8

      \[\leadsto \color{blue}{\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + 1\right) + \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) - e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + \frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}}\right)\right)}\]
   5. Using strategy rm

   6. Applied flip--27.8

      \[\leadsto \left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + 1\right) + \color{blue}{\frac{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right)\right) - \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + \frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + \frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}}\right)\right)}{e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) + e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + \frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}}\right)}}\]

   7. Applied flip3-+27.8

      \[\leadsto \color{blue}{\frac{{\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right)}^{3} + {1}^{3}}{\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + \left(1 \cdot 1 - \frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot 1\right)}} + \frac{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right)\right) - \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + \frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}}\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + \frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}}\right)\right)}{e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) + e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + \frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}}\right)}\]

   8. Applied frac-add25.5

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

4. Final simplification12.6

   \[\leadsto \begin{array}{l} \mathbf{if}\;x \le -2.6282467417609963 \cdot 10^{-14} \lor \neg \left(x \le 4.694795794822411\right):\\ \;\;\;\;\left(\sqrt[3]{(\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \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((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} \cdot \left(\sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} \cdot \sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}\right) + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*} \cdot \sqrt[3]{(\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \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((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} \cdot \left(\sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} \cdot \sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}\right) + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*}\right) \cdot \sqrt[3]{(\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \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((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} \cdot \left(\sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} \cdot \sqrt[3]{\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}\right) + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*}\\ \mathbf{else}:\\ \;\;\;\;\frac{\left(1 + {\left(\frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right)}^{3}\right) \cdot \left(\left(\frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}} + \frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)} + \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right) + \left(\left(1 - \frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) + \frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\left(\left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right) \cdot \left(\left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right) - \left(\left(\frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}} + \frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right) \cdot \left(\left(\frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}} + \frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)\right)}{\left(\left(1 - \frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) + \frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{\frac{0.284496736}{e^{\left|x\right| \cdot \left|x\right|}}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\left(\frac{1.061405429}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{5}} + \frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)} + \left(\frac{1.453152027}{{\left((0.3275911 \cdot \left(\left|x\right|\right) + 1)_*\right)}^{4}} - \frac{\frac{1.421413741}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_* \cdot (0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}\\ \end{array}\]

Runtime

Time bar (total: 3.7m)Debug logProfile

herbie shell --seed 2018263 +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)))))))