Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
double f(double x) {
        double r303491 = 1.0;
        double r303492 = 0.3275911;
        double r303493 = x;
        double r303494 = fabs(r303493);
        double r303495 = r303492 * r303494;
        double r303496 = r303491 + r303495;
        double r303497 = r303491 / r303496;
        double r303498 = 0.254829592;
        double r303499 = -0.284496736;
        double r303500 = 1.421413741;
        double r303501 = -1.453152027;
        double r303502 = 1.061405429;
        double r303503 = r303497 * r303502;
        double r303504 = r303501 + r303503;
        double r303505 = r303497 * r303504;
        double r303506 = r303500 + r303505;
        double r303507 = r303497 * r303506;
        double r303508 = r303499 + r303507;
        double r303509 = r303497 * r303508;
        double r303510 = r303498 + r303509;
        double r303511 = r303497 * r303510;
        double r303512 = r303494 * r303494;
        double r303513 = -r303512;
        double r303514 = exp(r303513);
        double r303515 = r303511 * r303514;
        double r303516 = r303491 - r303515;
        return r303516;
}

Reproduce

herbie shell --seed 2020062 
(FPCore (x)
  :name "Jmat.Real.erf"
  :precision binary64
  (- 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)))))))