Average Error: 13.8 → 12.5
Time: 8.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 r16402471 = 1.0;
        double r16402472 = 0.3275911;
        double r16402473 = x;
        double r16402474 = fabs(r16402473);
        double r16402475 = r16402472 * r16402474;
        double r16402476 = r16402471 + r16402475;
        double r16402477 = r16402471 / r16402476;
        double r16402478 = 0.254829592;
        double r16402479 = -0.284496736;
        double r16402480 = 1.421413741;
        double r16402481 = -1.453152027;
        double r16402482 = 1.061405429;
        double r16402483 = r16402477 * r16402482;
        double r16402484 = r16402481 + r16402483;
        double r16402485 = r16402477 * r16402484;
        double r16402486 = r16402480 + r16402485;
        double r16402487 = r16402477 * r16402486;
        double r16402488 = r16402479 + r16402487;
        double r16402489 = r16402477 * r16402488;
        double r16402490 = r16402478 + r16402489;
        double r16402491 = r16402477 * r16402490;
        double r16402492 = r16402474 * r16402474;
        double r16402493 = -r16402492;
        double r16402494 = exp(r16402493);
        double r16402495 = r16402491 * r16402494;
        double r16402496 = r16402471 - r16402495;
        return r16402496;
}
↓
double f(double x) {
        double r16402497 = 0.254829592;
        double r16402498 = r16402497 * r16402497;
        double r16402499 = 1.421413741;
        double r16402500 = 1.0;
        double r16402501 = x;
        double r16402502 = fabs(r16402501);
        double r16402503 = 0.3275911;
        double r16402504 = r16402502 * r16402503;
        double r16402505 = r16402504 + r16402500;
        double r16402506 = r16402500 / r16402505;
        double r16402507 = 1.061405429;
        double r16402508 = r16402506 * r16402507;
        double r16402509 = -1.453152027;
        double r16402510 = r16402508 + r16402509;
        double r16402511 = r16402510 * r16402506;
        double r16402512 = r16402499 + r16402511;
        double r16402513 = r16402512 * r16402506;
        double r16402514 = -0.284496736;
        double r16402515 = r16402513 + r16402514;
        double r16402516 = r16402515 * r16402506;
        double r16402517 = r16402516 * r16402516;
        double r16402518 = r16402498 - r16402517;
        double r16402519 = r16402518 * r16402506;
        double r16402520 = r16402502 * r16402502;
        double r16402521 = -r16402520;
        double r16402522 = exp(r16402521);
        double r16402523 = r16402519 * r16402522;
        double r16402524 = 3.0;
        double r16402525 = pow(r16402523, r16402524);
        double r16402526 = -r16402525;
        double r16402527 = r16402497 - r16402516;
        double r16402528 = r16402527 * r16402527;
        double r16402529 = r16402526 / r16402528;
        double r16402530 = r16402500 / r16402527;
        double r16402531 = r16402525 / r16402528;
        double r16402532 = r16402531 * r16402530;
        double r16402533 = fma(r16402529, r16402530, r16402532);
        double r16402534 = -1.0;
        double r16402535 = r16402534 / r16402527;
        double r16402536 = r16402531 * r16402535;
        double r16402537 = fma(r16402500, r16402500, r16402536);
        double r16402538 = sqrt(r16402537);
        double r16402539 = r16402538 * r16402538;
        double r16402540 = r16402533 + r16402539;
        double r16402541 = r16402516 + r16402497;
        double r16402542 = r16402506 * r16402541;
        double r16402543 = r16402522 * r16402542;
        double r16402544 = r16402543 * r16402543;
        double r16402545 = r16402543 + r16402544;
        double r16402546 = r16402545 + r16402500;
        double r16402547 = r16402540 / r16402546;
        return r16402547;
}

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)))))))