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 r4937571 = 1.0;
        double r4937572 = atan2(1.0, 0.0);
        double r4937573 = sqrt(r4937572);
        double r4937574 = r4937571 / r4937573;
        double r4937575 = x;
        double r4937576 = fabs(r4937575);
        double r4937577 = r4937576 * r4937576;
        double r4937578 = exp(r4937577);
        double r4937579 = r4937574 * r4937578;
        double r4937580 = r4937571 / r4937576;
        double r4937581 = 2.0;
        double r4937582 = r4937571 / r4937581;
        double r4937583 = r4937580 * r4937580;
        double r4937584 = r4937583 * r4937580;
        double r4937585 = r4937582 * r4937584;
        double r4937586 = r4937580 + r4937585;
        double r4937587 = 3.0;
        double r4937588 = 4.0;
        double r4937589 = r4937587 / r4937588;
        double r4937590 = r4937584 * r4937580;
        double r4937591 = r4937590 * r4937580;
        double r4937592 = r4937589 * r4937591;
        double r4937593 = r4937586 + r4937592;
        double r4937594 = 15.0;
        double r4937595 = 8.0;
        double r4937596 = r4937594 / r4937595;
        double r4937597 = r4937591 * r4937580;
        double r4937598 = r4937597 * r4937580;
        double r4937599 = r4937596 * r4937598;
        double r4937600 = r4937593 + r4937599;
        double r4937601 = r4937579 * r4937600;
        return r4937601;
}

Reproduce

herbie shell --seed 2019164 
(FPCore (x)
  :name "Jmat.Real.erfi, branch x greater than or equal to 5"
  (* (* (/ 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)))))))