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 r163308856 = 1.0;
        double r163308857 = 0.3275911;
        double r163308858 = x;
        double r163308859 = fabs(r163308858);
        double r163308860 = r163308857 * r163308859;
        double r163308861 = r163308856 + r163308860;
        double r163308862 = r163308856 / r163308861;
        double r163308863 = 0.254829592;
        double r163308864 = -0.284496736;
        double r163308865 = 1.421413741;
        double r163308866 = -1.453152027;
        double r163308867 = 1.061405429;
        double r163308868 = r163308862 * r163308867;
        double r163308869 = r163308866 + r163308868;
        double r163308870 = r163308862 * r163308869;
        double r163308871 = r163308865 + r163308870;
        double r163308872 = r163308862 * r163308871;
        double r163308873 = r163308864 + r163308872;
        double r163308874 = r163308862 * r163308873;
        double r163308875 = r163308863 + r163308874;
        double r163308876 = r163308862 * r163308875;
        double r163308877 = r163308859 * r163308859;
        double r163308878 = -r163308877;
        double r163308879 = exp(r163308878);
        double r163308880 = r163308876 * r163308879;
        double r163308881 = r163308856 - r163308880;
        return r163308881;
}

Reproduce

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