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 r158608217 = 1.0;
        double r158608218 = 0.3275911;
        double r158608219 = x;
        double r158608220 = fabs(r158608219);
        double r158608221 = r158608218 * r158608220;
        double r158608222 = r158608217 + r158608221;
        double r158608223 = r158608217 / r158608222;
        double r158608224 = 0.254829592;
        double r158608225 = -0.284496736;
        double r158608226 = 1.421413741;
        double r158608227 = -1.453152027;
        double r158608228 = 1.061405429;
        double r158608229 = r158608223 * r158608228;
        double r158608230 = r158608227 + r158608229;
        double r158608231 = r158608223 * r158608230;
        double r158608232 = r158608226 + r158608231;
        double r158608233 = r158608223 * r158608232;
        double r158608234 = r158608225 + r158608233;
        double r158608235 = r158608223 * r158608234;
        double r158608236 = r158608224 + r158608235;
        double r158608237 = r158608223 * r158608236;
        double r158608238 = r158608220 * r158608220;
        double r158608239 = -r158608238;
        double r158608240 = exp(r158608239);
        double r158608241 = r158608237 * r158608240;
        double r158608242 = r158608217 - r158608241;
        return r158608242;
}

Reproduce

herbie shell --seed 2019104 +o rules:numerics
(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)))))))