Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
double f(double x) {
        double r21394536 = 1.0;
        double r21394537 = 0.3275911;
        double r21394538 = x;
        double r21394539 = fabs(r21394538);
        double r21394540 = r21394537 * r21394539;
        double r21394541 = r21394536 + r21394540;
        double r21394542 = r21394536 / r21394541;
        double r21394543 = 0.254829592;
        double r21394544 = -0.284496736;
        double r21394545 = 1.421413741;
        double r21394546 = -1.453152027;
        double r21394547 = 1.061405429;
        double r21394548 = r21394542 * r21394547;
        double r21394549 = r21394546 + r21394548;
        double r21394550 = r21394542 * r21394549;
        double r21394551 = r21394545 + r21394550;
        double r21394552 = r21394542 * r21394551;
        double r21394553 = r21394544 + r21394552;
        double r21394554 = r21394542 * r21394553;
        double r21394555 = r21394543 + r21394554;
        double r21394556 = r21394542 * r21394555;
        double r21394557 = r21394539 * r21394539;
        double r21394558 = -r21394557;
        double r21394559 = exp(r21394558);
        double r21394560 = r21394556 * r21394559;
        double r21394561 = r21394536 - r21394560;
        return r21394561;
}

Reproduce

herbie shell --seed 2019172 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.erf"
  (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))