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 r21292751 = 1.0;
        double r21292752 = 0.3275911;
        double r21292753 = x;
        double r21292754 = fabs(r21292753);
        double r21292755 = r21292752 * r21292754;
        double r21292756 = r21292751 + r21292755;
        double r21292757 = r21292751 / r21292756;
        double r21292758 = 0.254829592;
        double r21292759 = -0.284496736;
        double r21292760 = 1.421413741;
        double r21292761 = -1.453152027;
        double r21292762 = 1.061405429;
        double r21292763 = r21292757 * r21292762;
        double r21292764 = r21292761 + r21292763;
        double r21292765 = r21292757 * r21292764;
        double r21292766 = r21292760 + r21292765;
        double r21292767 = r21292757 * r21292766;
        double r21292768 = r21292759 + r21292767;
        double r21292769 = r21292757 * r21292768;
        double r21292770 = r21292758 + r21292769;
        double r21292771 = r21292757 * r21292770;
        double r21292772 = r21292754 * r21292754;
        double r21292773 = -r21292772;
        double r21292774 = exp(r21292773);
        double r21292775 = r21292771 * r21292774;
        double r21292776 = r21292751 - r21292775;
        return r21292776;
}

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)))))))