Average Error: 13.7 → 12.7
Time: 9.3m
Precision: 64
\[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|}\]
↓
\[\frac{\frac{\frac{1 - {\left({\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right)}^{3}\right)}^{3}}{1 + \left({\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right)}^{3} \cdot {\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right)}^{3} + {\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right)}^{3}\right)}}{\left(\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right) \cdot \left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right) + \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right) + 1}}{1 + \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right) + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}\]
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|}
↓
\frac{\frac{\frac{1 - {\left({\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right)}^{3}\right)}^{3}}{1 + \left({\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right)}^{3} \cdot {\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right)}^{3} + {\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right)}^{3}\right)}}{\left(\left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right) \cdot \left(\sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right) + \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}} \cdot \sqrt{{\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}^{3}}\right) + 1}}{1 + \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right) + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429 + -1.453152027\right) + 1.421413741\right) + -0.284496736\right)\right)\right) \cdot e^{\left|x\right| \cdot \left(-\left|x\right|\right)}\right)}
double f(double x) {
        double r29677548 = 1.0;
        double r29677549 = 0.3275911;
        double r29677550 = x;
        double r29677551 = fabs(r29677550);
        double r29677552 = r29677549 * r29677551;
        double r29677553 = r29677548 + r29677552;
        double r29677554 = r29677548 / r29677553;
        double r29677555 = 0.254829592;
        double r29677556 = -0.284496736;
        double r29677557 = 1.421413741;
        double r29677558 = -1.453152027;
        double r29677559 = 1.061405429;
        double r29677560 = r29677554 * r29677559;
        double r29677561 = r29677558 + r29677560;
        double r29677562 = r29677554 * r29677561;
        double r29677563 = r29677557 + r29677562;
        double r29677564 = r29677554 * r29677563;
        double r29677565 = r29677556 + r29677564;
        double r29677566 = r29677554 * r29677565;
        double r29677567 = r29677555 + r29677566;
        double r29677568 = r29677554 * r29677567;
        double r29677569 = r29677551 * r29677551;
        double r29677570 = -r29677569;
        double r29677571 = exp(r29677570);
        double r29677572 = r29677568 * r29677571;
        double r29677573 = r29677548 - r29677572;
        return r29677573;
}
↓
double f(double x) {
        double r29677574 = 1.0;
        double r29677575 = x;
        double r29677576 = fabs(r29677575);
        double r29677577 = 0.3275911;
        double r29677578 = r29677576 * r29677577;
        double r29677579 = r29677574 + r29677578;
        double r29677580 = r29677574 / r29677579;
        double r29677581 = 0.254829592;
        double r29677582 = 1.061405429;
        double r29677583 = r29677580 * r29677582;
        double r29677584 = -1.453152027;
        double r29677585 = r29677583 + r29677584;
        double r29677586 = r29677580 * r29677585;
        double r29677587 = 1.421413741;
        double r29677588 = r29677586 + r29677587;
        double r29677589 = r29677580 * r29677588;
        double r29677590 = -0.284496736;
        double r29677591 = r29677589 + r29677590;
        double r29677592 = r29677580 * r29677591;
        double r29677593 = r29677581 + r29677592;
        double r29677594 = r29677580 * r29677593;
        double r29677595 = -r29677576;
        double r29677596 = r29677576 * r29677595;
        double r29677597 = exp(r29677596);
        double r29677598 = r29677594 * r29677597;
        double r29677599 = 3.0;
        double r29677600 = pow(r29677598, r29677599);
        double r29677601 = sqrt(r29677600);
        double r29677602 = r29677601 * r29677601;
        double r29677603 = pow(r29677602, r29677599);
        double r29677604 = pow(r29677603, r29677599);
        double r29677605 = r29677574 - r29677604;
        double r29677606 = r29677603 * r29677603;
        double r29677607 = r29677606 + r29677603;
        double r29677608 = r29677574 + r29677607;
        double r29677609 = r29677605 / r29677608;
        double r29677610 = r29677602 * r29677602;
        double r29677611 = r29677610 + r29677602;
        double r29677612 = r29677611 + r29677574;
        double r29677613 = r29677609 / r29677612;
        double r29677614 = r29677598 * r29677598;
        double r29677615 = r29677614 + r29677598;
        double r29677616 = r29677574 + r29677615;
        double r29677617 = r29677613 / r29677616;
        return r29677617;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 13.7

    \[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 flip3--13.6

    \[\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\right)\right)}}\]
  4. Using strategy rm

  5. Applied add-sqr-sqrt12.9

    \[\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\right)\right)}\]
  6. Using strategy rm

  7. Applied flip3--12.8

    \[\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\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 + \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|}\right)\right)}\]
  8. Using strategy rm

  9. Applied flip3--12.7

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

  10. Final simplification12.7

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

Reproduce

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