Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\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)\]
\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)
double f(double x) {
        double r3855540 = 1.0;
        double r3855541 = atan2(1.0, 0.0);
        double r3855542 = sqrt(r3855541);
        double r3855543 = r3855540 / r3855542;
        double r3855544 = x;
        double r3855545 = fabs(r3855544);
        double r3855546 = r3855545 * r3855545;
        double r3855547 = exp(r3855546);
        double r3855548 = r3855543 * r3855547;
        double r3855549 = r3855540 / r3855545;
        double r3855550 = 2.0;
        double r3855551 = r3855540 / r3855550;
        double r3855552 = r3855549 * r3855549;
        double r3855553 = r3855552 * r3855549;
        double r3855554 = r3855551 * r3855553;
        double r3855555 = r3855549 + r3855554;
        double r3855556 = 3.0;
        double r3855557 = 4.0;
        double r3855558 = r3855556 / r3855557;
        double r3855559 = r3855553 * r3855549;
        double r3855560 = r3855559 * r3855549;
        double r3855561 = r3855558 * r3855560;
        double r3855562 = r3855555 + r3855561;
        double r3855563 = 15.0;
        double r3855564 = 8.0;
        double r3855565 = r3855563 / r3855564;
        double r3855566 = r3855560 * r3855549;
        double r3855567 = r3855566 * r3855549;
        double r3855568 = r3855565 * r3855567;
        double r3855569 = r3855562 + r3855568;
        double r3855570 = r3855548 * r3855569;
        return r3855570;
}

Reproduce

herbie shell --seed 2019192 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.erfi, branch x greater than or equal to 5"
  (* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))))))