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 r253670 = 1.0;
        double r253671 = 0.3275911;
        double r253672 = x;
        double r253673 = fabs(r253672);
        double r253674 = r253671 * r253673;
        double r253675 = r253670 + r253674;
        double r253676 = r253670 / r253675;
        double r253677 = 0.254829592;
        double r253678 = -0.284496736;
        double r253679 = 1.421413741;
        double r253680 = -1.453152027;
        double r253681 = 1.061405429;
        double r253682 = r253676 * r253681;
        double r253683 = r253680 + r253682;
        double r253684 = r253676 * r253683;
        double r253685 = r253679 + r253684;
        double r253686 = r253676 * r253685;
        double r253687 = r253678 + r253686;
        double r253688 = r253676 * r253687;
        double r253689 = r253677 + r253688;
        double r253690 = r253676 * r253689;
        double r253691 = r253673 * r253673;
        double r253692 = -r253691;
        double r253693 = exp(r253692);
        double r253694 = r253690 * r253693;
        double r253695 = r253670 - r253694;
        return r253695;
}

Reproduce

herbie shell --seed 2019291 
(FPCore (x)
  :name "Jmat.Real.erf"
  :precision binary64
  (- 1 (* (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) (+ 0.25482959199999999 (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) (+ -0.284496735999999972 (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) (+ 1.42141374100000006 (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) (+ -1.45315202700000001 (* (/ 1 (+ 1 (* 0.32759110000000002 (fabs x)))) 1.0614054289999999))))))))) (exp (- (* (fabs x) (fabs x)))))))