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 r325820 = 1.0;
        double r325821 = 0.3275911;
        double r325822 = x;
        double r325823 = fabs(r325822);
        double r325824 = r325821 * r325823;
        double r325825 = r325820 + r325824;
        double r325826 = r325820 / r325825;
        double r325827 = 0.254829592;
        double r325828 = -0.284496736;
        double r325829 = 1.421413741;
        double r325830 = -1.453152027;
        double r325831 = 1.061405429;
        double r325832 = r325826 * r325831;
        double r325833 = r325830 + r325832;
        double r325834 = r325826 * r325833;
        double r325835 = r325829 + r325834;
        double r325836 = r325826 * r325835;
        double r325837 = r325828 + r325836;
        double r325838 = r325826 * r325837;
        double r325839 = r325827 + r325838;
        double r325840 = r325826 * r325839;
        double r325841 = r325823 * r325823;
        double r325842 = -r325841;
        double r325843 = exp(r325842);
        double r325844 = r325840 * r325843;
        double r325845 = r325820 - r325844;
        return r325845;
}

Reproduce

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