Error

Try it out

Derivation

1. Initial program 13.8

   \[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
2. Using strategy rm

3. Applied log1p-expm1-u13.8

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

5. Applied flip3--13.8

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

7. Applied add-sqr-sqrt13.0

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

9. Applied flip3--12.9

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

10. Final simplification12.9

    \[\leadsto \frac{\frac{1 - {\left(\sqrt{{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right)}^{3}} \cdot \sqrt{{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right)}^{3}}\right)}^{3}}{\left(\left(\sqrt{{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right)}^{3}} \cdot \sqrt{{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right)}^{3}}\right) \cdot \left(\sqrt{{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right)}^{3}} \cdot \sqrt{{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right)}^{3}}\right) + \sqrt{{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right)}^{3}} \cdot \sqrt{{\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right)}^{3}}\right) + 1}}{\left(\left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right) \cdot \left(e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right) + e^{\left(-\left|x\right|\right) \cdot \left|x\right|} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\log_* (1 + (e^{\frac{1}{1 + \left|x\right| \cdot 0.3275911}} - 1)^*) \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -0.284496736\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + 0.254829592\right)\right)\right) + 1}\]

Runtime

Time bar (total: 5.2m)Debug logProfile

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