Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(z - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-06}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-07}}{\left(z - 1\right) + 8}\right)\]
\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(z - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-06}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-07}}{\left(z - 1\right) + 8}\right)
double f(double z) {
        double r71094299 = atan2(1.0, 0.0);
        double r71094300 = 2.0;
        double r71094301 = r71094299 * r71094300;
        double r71094302 = sqrt(r71094301);
        double r71094303 = z;
        double r71094304 = 1.0;
        double r71094305 = r71094303 - r71094304;
        double r71094306 = 7.0;
        double r71094307 = r71094305 + r71094306;
        double r71094308 = 0.5;
        double r71094309 = r71094307 + r71094308;
        double r71094310 = r71094305 + r71094308;
        double r71094311 = pow(r71094309, r71094310);
        double r71094312 = r71094302 * r71094311;
        double r71094313 = -r71094309;
        double r71094314 = exp(r71094313);
        double r71094315 = r71094312 * r71094314;
        double r71094316 = 0.9999999999998099;
        double r71094317 = 676.5203681218851;
        double r71094318 = r71094305 + r71094304;
        double r71094319 = r71094317 / r71094318;
        double r71094320 = r71094316 + r71094319;
        double r71094321 = -1259.1392167224028;
        double r71094322 = r71094305 + r71094300;
        double r71094323 = r71094321 / r71094322;
        double r71094324 = r71094320 + r71094323;
        double r71094325 = 771.3234287776531;
        double r71094326 = 3.0;
        double r71094327 = r71094305 + r71094326;
        double r71094328 = r71094325 / r71094327;
        double r71094329 = r71094324 + r71094328;
        double r71094330 = -176.6150291621406;
        double r71094331 = 4.0;
        double r71094332 = r71094305 + r71094331;
        double r71094333 = r71094330 / r71094332;
        double r71094334 = r71094329 + r71094333;
        double r71094335 = 12.507343278686905;
        double r71094336 = 5.0;
        double r71094337 = r71094305 + r71094336;
        double r71094338 = r71094335 / r71094337;
        double r71094339 = r71094334 + r71094338;
        double r71094340 = -0.13857109526572012;
        double r71094341 = 6.0;
        double r71094342 = r71094305 + r71094341;
        double r71094343 = r71094340 / r71094342;
        double r71094344 = r71094339 + r71094343;
        double r71094345 = 9.984369578019572e-06;
        double r71094346 = r71094345 / r71094307;
        double r71094347 = r71094344 + r71094346;
        double r71094348 = 1.5056327351493116e-07;
        double r71094349 = 8.0;
        double r71094350 = r71094305 + r71094349;
        double r71094351 = r71094348 / r71094350;
        double r71094352 = r71094347 + r71094351;
        double r71094353 = r71094315 * r71094352;
        return r71094353;
}

Reproduce

herbie shell --seed 2019124 +o rules:numerics
(FPCore (z)
  :name "Jmat.Real.gamma, branch z greater than 0.5"
  (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- z 1) 7) 0.5) (+ (- z 1) 0.5))) (exp (- (+ (+ (- z 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1) 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (/ 771.3234287776531 (+ (- z 1) 3))) (/ -176.6150291621406 (+ (- z 1) 4))) (/ 12.507343278686905 (+ (- z 1) 5))) (/ -0.13857109526572012 (+ (- z 1) 6))) (/ 9.984369578019572e-06 (+ (- z 1) 7))) (/ 1.5056327351493116e-07 (+ (- z 1) 8)))))