Jmat.Real.erf

Average Error: 13.8 → 12.5

Time: 5.1m

Precision: 64

Math

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

C

double f(double x) {
        double r17387570 = 1.0;
        double r17387571 = 0.3275911;
        double r17387572 = x;
        double r17387573 = fabs(r17387572);
        double r17387574 = r17387571 * r17387573;
        double r17387575 = r17387570 + r17387574;
        double r17387576 = r17387570 / r17387575;
        double r17387577 = 0.254829592;
        double r17387578 = -0.284496736;
        double r17387579 = 1.421413741;
        double r17387580 = -1.453152027;
        double r17387581 = 1.061405429;
        double r17387582 = r17387576 * r17387581;
        double r17387583 = r17387580 + r17387582;
        double r17387584 = r17387576 * r17387583;
        double r17387585 = r17387579 + r17387584;
        double r17387586 = r17387576 * r17387585;
        double r17387587 = r17387578 + r17387586;
        double r17387588 = r17387576 * r17387587;
        double r17387589 = r17387577 + r17387588;
        double r17387590 = r17387576 * r17387589;
        double r17387591 = r17387573 * r17387573;
        double r17387592 = -r17387591;
        double r17387593 = exp(r17387592);
        double r17387594 = r17387590 * r17387593;
        double r17387595 = r17387570 - r17387594;
        return r17387595;
}

↓

double f(double x) {
        double r17387596 = x;
        double r17387597 = fabs(r17387596);
        double r17387598 = r17387597 * r17387597;
        double r17387599 = -r17387598;
        double r17387600 = exp(r17387599);
        double r17387601 = 3.0;
        double r17387602 = pow(r17387600, r17387601);
        double r17387603 = 1.0;
        double r17387604 = 0.3275911;
        double r17387605 = r17387597 * r17387604;
        double r17387606 = r17387603 + r17387605;
        double r17387607 = 0.254829592;
        double r17387608 = -0.284496736;
        double r17387609 = r17387603 / r17387606;
        double r17387610 = 1.421413741;
        double r17387611 = 1.061405429;
        double r17387612 = r17387611 * r17387609;
        double r17387613 = -1.453152027;
        double r17387614 = r17387612 + r17387613;
        double r17387615 = r17387609 * r17387614;
        double r17387616 = r17387610 + r17387615;
        double r17387617 = r17387609 * r17387616;
        double r17387618 = r17387608 + r17387617;
        double r17387619 = r17387618 * r17387609;
        double r17387620 = r17387607 - r17387619;
        double r17387621 = r17387606 * r17387620;
        double r17387622 = r17387602 / r17387621;
        double r17387623 = -r17387622;
        double r17387624 = r17387607 * r17387607;
        double r17387625 = r17387619 * r17387619;
        double r17387626 = r17387624 - r17387625;
        double r17387627 = pow(r17387626, r17387601);
        double r17387628 = r17387621 * r17387621;
        double r17387629 = r17387627 / r17387628;
        double r17387630 = r17387629 * r17387622;
        double r17387631 = fma(r17387623, r17387629, r17387630);
        double r17387632 = r17387623 * r17387629;
        double r17387633 = fma(r17387603, r17387603, r17387632);
        double r17387634 = cbrt(r17387633);
        double r17387635 = r17387634 * r17387634;
        double r17387636 = r17387635 * r17387634;
        double r17387637 = r17387631 + r17387636;
        double r17387638 = r17387619 + r17387607;
        double r17387639 = r17387609 * r17387638;
        double r17387640 = r17387600 * r17387639;
        double r17387641 = r17387640 * r17387640;
        double r17387642 = r17387641 + r17387640;
        double r17387643 = r17387603 + r17387642;
        double r17387644 = r17387637 / r17387643;
        return r17387644;
}

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 frac-times 13.8

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

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

    \[\leadsto \frac{{1}^{3} - \frac{{\left(\left(1 \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(\left(\left(1 + 0.3275911 \cdot \left|x\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) \cdot \left(\left(1 + 0.3275911 \cdot \left|x\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)\right) \cdot \left(\left(1 + 0.3275911 \cdot \left|x\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 unpow-prod-down 13.0

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

    \[\leadsto \frac{{1}^{3} - \color{blue}{\frac{{\left(1 \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)}^{3}}{\left(\left(1 + 0.3275911 \cdot \left|x\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) \cdot \left(\left(1 + 0.3275911 \cdot \left|x\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)} \cdot \frac{{\left(e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\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 cube-mult 13.0

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

    \[\leadsto \frac{\color{blue}{\mathsf{fma}\left(1, 1 \cdot 1, -\frac{{\left(e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\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{{\left(1 \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)}^{3}}{\left(\left(1 + 0.3275911 \cdot \left|x\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) \cdot \left(\left(1 + 0.3275911 \cdot \left|x\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)}\right) + \mathsf{fma}\left(-\frac{{\left(e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\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{{\left(1 \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)}^{3}}{\left(\left(1 + 0.3275911 \cdot \left|x\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) \cdot \left(\left(1 + 0.3275911 \cdot \left|x\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)}, \frac{{\left(e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\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{{\left(1 \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)}^{3}}{\left(\left(1 + 0.3275911 \cdot \left|x\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) \cdot \left(\left(1 + 0.3275911 \cdot \left|x\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)}\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-cube-cbrt 12.5

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

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

Reproduce

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