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 r147671527 = atan2(1.0, 0.0);
        double r147671528 = 2.0;
        double r147671529 = r147671527 * r147671528;
        double r147671530 = sqrt(r147671529);
        double r147671531 = z;
        double r147671532 = 1.0;
        double r147671533 = r147671531 - r147671532;
        double r147671534 = 7.0;
        double r147671535 = r147671533 + r147671534;
        double r147671536 = 0.5;
        double r147671537 = r147671535 + r147671536;
        double r147671538 = r147671533 + r147671536;
        double r147671539 = pow(r147671537, r147671538);
        double r147671540 = r147671530 * r147671539;
        double r147671541 = -r147671537;
        double r147671542 = exp(r147671541);
        double r147671543 = r147671540 * r147671542;
        double r147671544 = 0.9999999999998099;
        double r147671545 = 676.5203681218851;
        double r147671546 = r147671533 + r147671532;
        double r147671547 = r147671545 / r147671546;
        double r147671548 = r147671544 + r147671547;
        double r147671549 = -1259.1392167224028;
        double r147671550 = r147671533 + r147671528;
        double r147671551 = r147671549 / r147671550;
        double r147671552 = r147671548 + r147671551;
        double r147671553 = 771.3234287776531;
        double r147671554 = 3.0;
        double r147671555 = r147671533 + r147671554;
        double r147671556 = r147671553 / r147671555;
        double r147671557 = r147671552 + r147671556;
        double r147671558 = -176.6150291621406;
        double r147671559 = 4.0;
        double r147671560 = r147671533 + r147671559;
        double r147671561 = r147671558 / r147671560;
        double r147671562 = r147671557 + r147671561;
        double r147671563 = 12.507343278686905;
        double r147671564 = 5.0;
        double r147671565 = r147671533 + r147671564;
        double r147671566 = r147671563 / r147671565;
        double r147671567 = r147671562 + r147671566;
        double r147671568 = -0.13857109526572012;
        double r147671569 = 6.0;
        double r147671570 = r147671533 + r147671569;
        double r147671571 = r147671568 / r147671570;
        double r147671572 = r147671567 + r147671571;
        double r147671573 = 9.984369578019572e-06;
        double r147671574 = r147671573 / r147671535;
        double r147671575 = r147671572 + r147671574;
        double r147671576 = 1.5056327351493116e-07;
        double r147671577 = 8.0;
        double r147671578 = r147671533 + r147671577;
        double r147671579 = r147671576 / r147671578;
        double r147671580 = r147671575 + r147671579;
        double r147671581 = r147671543 * r147671580;
        return r147671581;
}

Reproduce

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