Average Error: 13.7 → 13.0
Time: 1.8m
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|}\]
↓
\[\sqrt[3]{1 - \frac{0.254829592 + \frac{-0.284496736 + \left(\frac{1}{1 - \left(\left|x\right| \cdot 0.3275911\right) \cdot \left(\left|x\right| \cdot 0.3275911\right)} \cdot \left(\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741\right)\right) \cdot \left(1 - \left|x\right| \cdot 0.3275911\right)}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}} \cdot \left(\sqrt[3]{\left(1 + \sqrt{\frac{0.254829592 + \frac{-0.284496736 + \left(\frac{1}{1 - \left(\left|x\right| \cdot 0.3275911\right) \cdot \left(\left|x\right| \cdot 0.3275911\right)} \cdot \left(\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741\right)\right) \cdot \left(1 - \left|x\right| \cdot 0.3275911\right)}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}\right) \cdot \left(1 - \sqrt{\frac{0.254829592 + \frac{-0.284496736 + \left(\frac{1}{1 - \left(\left|x\right| \cdot 0.3275911\right) \cdot \left(\left|x\right| \cdot 0.3275911\right)} \cdot \left(\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741\right)\right) \cdot \left(1 - \left|x\right| \cdot 0.3275911\right)}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}\right)} \cdot \sqrt[3]{1 - \frac{0.254829592 + \frac{-0.284496736 + \left(\frac{1}{1 - \left(\left|x\right| \cdot 0.3275911\right) \cdot \left(\left|x\right| \cdot 0.3275911\right)} \cdot \left(\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741\right)\right) \cdot \left(1 - \left|x\right| \cdot 0.3275911\right)}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}\right)\]
1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
↓
\sqrt[3]{1 - \frac{0.254829592 + \frac{-0.284496736 + \left(\frac{1}{1 - \left(\left|x\right| \cdot 0.3275911\right) \cdot \left(\left|x\right| \cdot 0.3275911\right)} \cdot \left(\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741\right)\right) \cdot \left(1 - \left|x\right| \cdot 0.3275911\right)}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}} \cdot \left(\sqrt[3]{\left(1 + \sqrt{\frac{0.254829592 + \frac{-0.284496736 + \left(\frac{1}{1 - \left(\left|x\right| \cdot 0.3275911\right) \cdot \left(\left|x\right| \cdot 0.3275911\right)} \cdot \left(\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741\right)\right) \cdot \left(1 - \left|x\right| \cdot 0.3275911\right)}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}\right) \cdot \left(1 - \sqrt{\frac{0.254829592 + \frac{-0.284496736 + \left(\frac{1}{1 - \left(\left|x\right| \cdot 0.3275911\right) \cdot \left(\left|x\right| \cdot 0.3275911\right)} \cdot \left(\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741\right)\right) \cdot \left(1 - \left|x\right| \cdot 0.3275911\right)}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}\right)} \cdot \sqrt[3]{1 - \frac{0.254829592 + \frac{-0.284496736 + \left(\frac{1}{1 - \left(\left|x\right| \cdot 0.3275911\right) \cdot \left(\left|x\right| \cdot 0.3275911\right)} \cdot \left(\frac{\frac{1.061405429}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027}{1 + \left|x\right| \cdot 0.3275911} + 1.421413741\right)\right) \cdot \left(1 - \left|x\right| \cdot 0.3275911\right)}{1 + \left|x\right| \cdot 0.3275911}}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}}\right)
double f(double x) {
        double r7562475 = 1.0;
        double r7562476 = 0.3275911;
        double r7562477 = x;
        double r7562478 = fabs(r7562477);
        double r7562479 = r7562476 * r7562478;
        double r7562480 = r7562475 + r7562479;
        double r7562481 = r7562475 / r7562480;
        double r7562482 = 0.254829592;
        double r7562483 = -0.284496736;
        double r7562484 = 1.421413741;
        double r7562485 = -1.453152027;
        double r7562486 = 1.061405429;
        double r7562487 = r7562481 * r7562486;
        double r7562488 = r7562485 + r7562487;
        double r7562489 = r7562481 * r7562488;
        double r7562490 = r7562484 + r7562489;
        double r7562491 = r7562481 * r7562490;
        double r7562492 = r7562483 + r7562491;
        double r7562493 = r7562481 * r7562492;
        double r7562494 = r7562482 + r7562493;
        double r7562495 = r7562481 * r7562494;
        double r7562496 = r7562478 * r7562478;
        double r7562497 = -r7562496;
        double r7562498 = exp(r7562497);
        double r7562499 = r7562495 * r7562498;
        double r7562500 = r7562475 - r7562499;
        return r7562500;
}
↓
double f(double x) {
        double r7562501 = 1.0;
        double r7562502 = 0.254829592;
        double r7562503 = -0.284496736;
        double r7562504 = x;
        double r7562505 = fabs(r7562504);
        double r7562506 = 0.3275911;
        double r7562507 = r7562505 * r7562506;
        double r7562508 = r7562507 * r7562507;
        double r7562509 = r7562501 - r7562508;
        double r7562510 = r7562501 / r7562509;
        double r7562511 = 1.061405429;
        double r7562512 = r7562501 + r7562507;
        double r7562513 = r7562511 / r7562512;
        double r7562514 = -1.453152027;
        double r7562515 = r7562513 + r7562514;
        double r7562516 = r7562515 / r7562512;
        double r7562517 = 1.421413741;
        double r7562518 = r7562516 + r7562517;
        double r7562519 = r7562510 * r7562518;
        double r7562520 = r7562501 - r7562507;
        double r7562521 = r7562519 * r7562520;
        double r7562522 = r7562503 + r7562521;
        double r7562523 = r7562522 / r7562512;
        double r7562524 = r7562502 + r7562523;
        double r7562525 = r7562505 * r7562505;
        double r7562526 = exp(r7562525);
        double r7562527 = r7562526 * r7562512;
        double r7562528 = r7562524 / r7562527;
        double r7562529 = r7562501 - r7562528;
        double r7562530 = cbrt(r7562529);
        double r7562531 = sqrt(r7562528);
        double r7562532 = r7562501 + r7562531;
        double r7562533 = r7562501 - r7562531;
        double r7562534 = r7562532 * r7562533;
        double r7562535 = cbrt(r7562534);
        double r7562536 = r7562535 * r7562530;
        double r7562537 = r7562530 * r7562536;
        return r7562537;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 13.7

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

  2. Simplified13.7

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

  4. Applied flip-+13.7

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

  5. Applied associate-/r/13.7

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

  6. Simplified13.7

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

  8. Applied div-inv13.7

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

  10. Applied add-cube-cbrt13.7

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

  12. Applied add-sqr-sqrt13.0

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

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

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

  14. Applied difference-of-squares13.0

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

  15. Final simplification13.0

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

Reproduce

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