Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[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|}\]
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|}
double f(double x) {
        double r89484463 = 1.0;
        double r89484464 = 0.3275911;
        double r89484465 = x;
        double r89484466 = fabs(r89484465);
        double r89484467 = r89484464 * r89484466;
        double r89484468 = r89484463 + r89484467;
        double r89484469 = r89484463 / r89484468;
        double r89484470 = 0.254829592;
        double r89484471 = -0.284496736;
        double r89484472 = 1.421413741;
        double r89484473 = -1.453152027;
        double r89484474 = 1.061405429;
        double r89484475 = r89484469 * r89484474;
        double r89484476 = r89484473 + r89484475;
        double r89484477 = r89484469 * r89484476;
        double r89484478 = r89484472 + r89484477;
        double r89484479 = r89484469 * r89484478;
        double r89484480 = r89484471 + r89484479;
        double r89484481 = r89484469 * r89484480;
        double r89484482 = r89484470 + r89484481;
        double r89484483 = r89484469 * r89484482;
        double r89484484 = r89484466 * r89484466;
        double r89484485 = -r89484484;
        double r89484486 = exp(r89484485);
        double r89484487 = r89484483 * r89484486;
        double r89484488 = r89484463 - r89484487;
        return r89484488;
}

Reproduce

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