Average Error: 13.8 → 12.5
Time: 6.4m
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{\mathsf{fma}\left(-\frac{{\left(\left(\left(0.254829592 \cdot 0.254829592 - \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)}, \frac{1}{0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}}, \frac{{\left(\left(\left(0.254829592 \cdot 0.254829592 - \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)} \cdot \frac{1}{0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}}\right) + \sqrt{\mathsf{fma}\left(1, 1, \frac{{\left(\left(\left(0.254829592 \cdot 0.254829592 - \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)} \cdot \frac{-1}{0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}}\right)} \cdot \sqrt{\mathsf{fma}\left(1, 1, \frac{{\left(\left(\left(0.254829592 \cdot 0.254829592 - \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)} \cdot \frac{-1}{0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}}\right)}}{\left(e^{-\left|x\right| \cdot \left|x\right|} \cdot \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592\right)\right) + \left(e^{-\left|x\right| \cdot \left|x\right|} \cdot \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592\right)\right)\right) \cdot \left(e^{-\left|x\right| \cdot \left|x\right|} \cdot \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592\right)\right)\right)\right) + 1}\]
1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
↓
\frac{\mathsf{fma}\left(-\frac{{\left(\left(\left(0.254829592 \cdot 0.254829592 - \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)}, \frac{1}{0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}}, \frac{{\left(\left(\left(0.254829592 \cdot 0.254829592 - \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)} \cdot \frac{1}{0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}}\right) + \sqrt{\mathsf{fma}\left(1, 1, \frac{{\left(\left(\left(0.254829592 \cdot 0.254829592 - \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)} \cdot \frac{-1}{0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}}\right)} \cdot \sqrt{\mathsf{fma}\left(1, 1, \frac{{\left(\left(\left(0.254829592 \cdot 0.254829592 - \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \left(0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right)} \cdot \frac{-1}{0.254829592 - \left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}}\right)}}{\left(e^{-\left|x\right| \cdot \left|x\right|} \cdot \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592\right)\right) + \left(e^{-\left|x\right| \cdot \left|x\right|} \cdot \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592\right)\right)\right) \cdot \left(e^{-\left|x\right| \cdot \left|x\right|} \cdot \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot \left(\left(\left(1.421413741 + \left(\frac{1}{\left|x\right| \cdot 0.3275911 + 1} \cdot 1.061405429 + -1.453152027\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1}\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + -0.284496736\right) \cdot \frac{1}{\left|x\right| \cdot 0.3275911 + 1} + 0.254829592\right)\right)\right)\right) + 1}
double f(double x) {
        double r15160756 = 1.0;
        double r15160757 = 0.3275911;
        double r15160758 = x;
        double r15160759 = fabs(r15160758);
        double r15160760 = r15160757 * r15160759;
        double r15160761 = r15160756 + r15160760;
        double r15160762 = r15160756 / r15160761;
        double r15160763 = 0.254829592;
        double r15160764 = -0.284496736;
        double r15160765 = 1.421413741;
        double r15160766 = -1.453152027;
        double r15160767 = 1.061405429;
        double r15160768 = r15160762 * r15160767;
        double r15160769 = r15160766 + r15160768;
        double r15160770 = r15160762 * r15160769;
        double r15160771 = r15160765 + r15160770;
        double r15160772 = r15160762 * r15160771;
        double r15160773 = r15160764 + r15160772;
        double r15160774 = r15160762 * r15160773;
        double r15160775 = r15160763 + r15160774;
        double r15160776 = r15160762 * r15160775;
        double r15160777 = r15160759 * r15160759;
        double r15160778 = -r15160777;
        double r15160779 = exp(r15160778);
        double r15160780 = r15160776 * r15160779;
        double r15160781 = r15160756 - r15160780;
        return r15160781;
}
↓
double f(double x) {
        double r15160782 = 0.254829592;
        double r15160783 = r15160782 * r15160782;
        double r15160784 = 1.421413741;
        double r15160785 = 1.0;
        double r15160786 = x;
        double r15160787 = fabs(r15160786);
        double r15160788 = 0.3275911;
        double r15160789 = r15160787 * r15160788;
        double r15160790 = r15160789 + r15160785;
        double r15160791 = r15160785 / r15160790;
        double r15160792 = 1.061405429;
        double r15160793 = r15160791 * r15160792;
        double r15160794 = -1.453152027;
        double r15160795 = r15160793 + r15160794;
        double r15160796 = r15160795 * r15160791;
        double r15160797 = r15160784 + r15160796;
        double r15160798 = r15160797 * r15160791;
        double r15160799 = -0.284496736;
        double r15160800 = r15160798 + r15160799;
        double r15160801 = r15160800 * r15160791;
        double r15160802 = r15160801 * r15160801;
        double r15160803 = r15160783 - r15160802;
        double r15160804 = r15160803 * r15160791;
        double r15160805 = r15160787 * r15160787;
        double r15160806 = -r15160805;
        double r15160807 = exp(r15160806);
        double r15160808 = r15160804 * r15160807;
        double r15160809 = 3.0;
        double r15160810 = pow(r15160808, r15160809);
        double r15160811 = r15160782 - r15160801;
        double r15160812 = r15160811 * r15160811;
        double r15160813 = r15160810 / r15160812;
        double r15160814 = -r15160813;
        double r15160815 = r15160785 / r15160811;
        double r15160816 = r15160813 * r15160815;
        double r15160817 = fma(r15160814, r15160815, r15160816);
        double r15160818 = -1.0;
        double r15160819 = r15160818 / r15160811;
        double r15160820 = r15160813 * r15160819;
        double r15160821 = fma(r15160785, r15160785, r15160820);
        double r15160822 = sqrt(r15160821);
        double r15160823 = r15160822 * r15160822;
        double r15160824 = r15160817 + r15160823;
        double r15160825 = r15160801 + r15160782;
        double r15160826 = r15160791 * r15160825;
        double r15160827 = r15160807 * r15160826;
        double r15160828 = r15160827 * r15160827;
        double r15160829 = r15160827 + r15160828;
        double r15160830 = r15160829 + r15160785;
        double r15160831 = r15160824 / r15160830;
        return r15160831;
}

Error

Bits error versus x

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 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 + \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 flip-+13.8

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \color{blue}{\frac{0.254829592 \cdot 0.254829592 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\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)}{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) \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. Applied associate-*r/13.8

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

  7. Applied associate-*l/13.8

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

  8. Applied cube-div13.0

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

  10. Applied cube-mult13.0

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

  11. Applied *-un-lft-identity13.0

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

  12. Applied times-frac13.0

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

  13. Applied unpow313.0

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

  14. Applied prod-diff12.5

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

  16. Applied add-sqr-sqrt12.5

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

  17. Final simplification12.5

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

Reproduce

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