Average Error: 1.5 → 0.8
Time: 48.3s
Precision: 64
\[\left(\frac{1}{\sqrt{\pi}} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(\frac{1}{\left|x\right|} + \frac{1}{2} \cdot \left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{3}{4} \cdot \left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{15}{8} \cdot \left(\left(\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right)\]
↓
\[\frac{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(\left(\frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}} + \frac{1}{\left|x\right|}\right) + \frac{\left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) \cdot {1}^{5}}{{\left(\left|x\right|\right)}^{5}}\right)}{\frac{\sqrt{\pi}}{1}}\]
\left(\frac{1}{\sqrt{\pi}} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(\frac{1}{\left|x\right|} + \frac{1}{2} \cdot \left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{3}{4} \cdot \left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{15}{8} \cdot \left(\left(\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right)
↓
\frac{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(\left(\frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}} + \frac{1}{\left|x\right|}\right) + \frac{\left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) \cdot {1}^{5}}{{\left(\left|x\right|\right)}^{5}}\right)}{\frac{\sqrt{\pi}}{1}}
double f(double x) {
        double r128504 = 1.0;
        double r128505 = atan2(1.0, 0.0);
        double r128506 = sqrt(r128505);
        double r128507 = r128504 / r128506;
        double r128508 = x;
        double r128509 = fabs(r128508);
        double r128510 = r128509 * r128509;
        double r128511 = exp(r128510);
        double r128512 = r128507 * r128511;
        double r128513 = r128504 / r128509;
        double r128514 = 2.0;
        double r128515 = r128504 / r128514;
        double r128516 = r128513 * r128513;
        double r128517 = r128516 * r128513;
        double r128518 = r128515 * r128517;
        double r128519 = r128513 + r128518;
        double r128520 = 3.0;
        double r128521 = 4.0;
        double r128522 = r128520 / r128521;
        double r128523 = r128517 * r128513;
        double r128524 = r128523 * r128513;
        double r128525 = r128522 * r128524;
        double r128526 = r128519 + r128525;
        double r128527 = 15.0;
        double r128528 = 8.0;
        double r128529 = r128527 / r128528;
        double r128530 = r128524 * r128513;
        double r128531 = r128530 * r128513;
        double r128532 = r128529 * r128531;
        double r128533 = r128526 + r128532;
        double r128534 = r128512 * r128533;
        return r128534;
}
↓
double f(double x) {
        double r128535 = x;
        double r128536 = fabs(r128535);
        double r128537 = r128536 * r128536;
        double r128538 = exp(r128537);
        double r128539 = 1.0;
        double r128540 = 2.0;
        double r128541 = r128539 / r128536;
        double r128542 = 3.0;
        double r128543 = pow(r128541, r128542);
        double r128544 = r128540 / r128543;
        double r128545 = r128539 / r128544;
        double r128546 = r128545 + r128541;
        double r128547 = 3.0;
        double r128548 = 4.0;
        double r128549 = r128547 / r128548;
        double r128550 = 2.0;
        double r128551 = pow(r128536, r128550);
        double r128552 = r128539 / r128551;
        double r128553 = r128539 * r128552;
        double r128554 = 15.0;
        double r128555 = 8.0;
        double r128556 = r128554 / r128555;
        double r128557 = r128553 * r128556;
        double r128558 = r128549 + r128557;
        double r128559 = 5.0;
        double r128560 = pow(r128539, r128559);
        double r128561 = r128558 * r128560;
        double r128562 = pow(r128536, r128559);
        double r128563 = r128561 / r128562;
        double r128564 = r128546 + r128563;
        double r128565 = r128538 * r128564;
        double r128566 = atan2(1.0, 0.0);
        double r128567 = sqrt(r128566);
        double r128568 = r128567 / r128539;
        double r128569 = r128565 / r128568;
        return r128569;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 1.5

    \[\left(\frac{1}{\sqrt{\pi}} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(\frac{1}{\left|x\right|} + \frac{1}{2} \cdot \left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{3}{4} \cdot \left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{15}{8} \cdot \left(\left(\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right)\]

  2. Simplified1.5

    \[\leadsto \color{blue}{\frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot {\left(\frac{1}{\left|x\right|}\right)}^{3}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}}\]
  3. Using strategy rm

  4. Applied add-cbrt-cube1.9

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot {\left(\frac{1}{\color{blue}{\sqrt[3]{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}}}\right)}^{3}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  5. Applied add-cbrt-cube1.9

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot {\left(\frac{\color{blue}{\sqrt[3]{\left(1 \cdot 1\right) \cdot 1}}}{\sqrt[3]{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}}\right)}^{3}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  6. Applied cbrt-undiv1.6

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot {\color{blue}{\left(\sqrt[3]{\frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}}\right)}}^{3}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  7. Applied rem-cube-cbrt1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \color{blue}{\frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]
  8. Using strategy rm

  9. Applied *-un-lft-identity1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\left|x\right|} \cdot \frac{1}{\color{blue}{1 \cdot \left|x\right|}}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  10. Applied add-sqr-sqrt1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\left|x\right|} \cdot \frac{\color{blue}{\sqrt{1} \cdot \sqrt{1}}}{1 \cdot \left|x\right|}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  11. Applied times-frac1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\left|x\right|} \cdot \color{blue}{\left(\frac{\sqrt{1}}{1} \cdot \frac{\sqrt{1}}{\left|x\right|}\right)}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  12. Applied *-un-lft-identity1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(\frac{1}{\color{blue}{1 \cdot \left|x\right|}} \cdot \left(\frac{\sqrt{1}}{1} \cdot \frac{\sqrt{1}}{\left|x\right|}\right)\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  13. Applied add-sqr-sqrt1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(\frac{\color{blue}{\sqrt{1} \cdot \sqrt{1}}}{1 \cdot \left|x\right|} \cdot \left(\frac{\sqrt{1}}{1} \cdot \frac{\sqrt{1}}{\left|x\right|}\right)\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  14. Applied times-frac1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(\color{blue}{\left(\frac{\sqrt{1}}{1} \cdot \frac{\sqrt{1}}{\left|x\right|}\right)} \cdot \left(\frac{\sqrt{1}}{1} \cdot \frac{\sqrt{1}}{\left|x\right|}\right)\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  15. Applied swap-sqr1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \color{blue}{\left(\left(\frac{\sqrt{1}}{1} \cdot \frac{\sqrt{1}}{1}\right) \cdot \left(\frac{\sqrt{1}}{\left|x\right|} \cdot \frac{\sqrt{1}}{\left|x\right|}\right)\right)} \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  16. Simplified1.2

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(\color{blue}{1} \cdot \left(\frac{\sqrt{1}}{\left|x\right|} \cdot \frac{\sqrt{1}}{\left|x\right|}\right)\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  17. Simplified1.0

    \[\leadsto \frac{\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(1 \cdot \color{blue}{\frac{1}{{\left(\left|x\right|\right)}^{2}}}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]
  18. Using strategy rm

  19. Applied frac-times1.1

    \[\leadsto \frac{\left(\left(\left(\color{blue}{\frac{1 \cdot 1}{\left|x\right| \cdot \left|x\right|}} \cdot \frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|}\right) \cdot \left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  20. Applied frac-times1.0

    \[\leadsto \frac{\left(\left(\color{blue}{\frac{\left(1 \cdot 1\right) \cdot \left(\left(1 \cdot 1\right) \cdot 1\right)}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right)}} \cdot \left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  21. Simplified1.0

    \[\leadsto \frac{\left(\left(\frac{\color{blue}{1 \cdot {1}^{4}}}{\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right)} \cdot \left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  22. Simplified0.9

    \[\leadsto \frac{\left(\left(\frac{1 \cdot {1}^{4}}{\color{blue}{\left|x\right| \cdot {\left(\left|x\right|\right)}^{4}}} \cdot \left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\pi}}{e^{\left|x\right| \cdot \left|x\right|}}}\]
  23. Using strategy rm

  24. Applied add-sqr-sqrt0.9

    \[\leadsto \frac{\left(\left(\frac{1 \cdot {1}^{4}}{\left|x\right| \cdot {\left(\left|x\right|\right)}^{4}} \cdot \left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\sqrt{\color{blue}{\sqrt{\pi} \cdot \sqrt{\pi}}}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  25. Applied sqrt-prod0.8

    \[\leadsto \frac{\left(\left(\frac{1 \cdot {1}^{4}}{\left|x\right| \cdot {\left(\left|x\right|\right)}^{4}} \cdot \left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) + \frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}}\right) + \frac{1}{\left|x\right|}\right) \cdot 1}{\frac{\color{blue}{\sqrt{\sqrt{\pi}} \cdot \sqrt{\sqrt{\pi}}}}{e^{\left|x\right| \cdot \left|x\right|}}}\]

  26. Final simplification0.8

    \[\leadsto \frac{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(\left(\frac{1}{\frac{2}{{\left(\frac{1}{\left|x\right|}\right)}^{3}}} + \frac{1}{\left|x\right|}\right) + \frac{\left(\frac{3}{4} + \left(1 \cdot \frac{1}{{\left(\left|x\right|\right)}^{2}}\right) \cdot \frac{15}{8}\right) \cdot {1}^{5}}{{\left(\left|x\right|\right)}^{5}}\right)}{\frac{\sqrt{\pi}}{1}}\]

Reproduce

herbie shell --seed 2019297 
(FPCore (x)
  :name "Jmat.Real.erfi, branch x greater than or equal to 5"
  :precision binary64
  (* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))))