Error

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. Simplified13.8

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

4. Applied add-log-exp13.8

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

5. Taylor expanded around inf 15.2

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

6. Simplified13.8

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

8. Applied add-sqr-sqrt13.8

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

9. Applied add-sqr-sqrt13.8

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

10. Applied times-frac13.8

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

11. Applied add-sqr-sqrt13.8

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

12. Applied difference-of-squares13.8

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

13. Applied exp-prod13.8

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

14. Applied log-pow13.8

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

16. Applied add-cube-cbrt13.8

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

17. Final simplification13.8

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

Reproduce

herbie shell --seed 2019053 
(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)))))))