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.99999999999980993 + \frac{676.520368121885099}{\left(z - 1\right) + 1}\right) + \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right) + \frac{-176.615029162140587}{\left(z - 1\right) + 4}\right) + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right) + \frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.50563273514931162 \cdot 10^{-7}}{\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.99999999999980993 + \frac{676.520368121885099}{\left(z - 1\right) + 1}\right) + \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right) + \frac{-176.615029162140587}{\left(z - 1\right) + 4}\right) + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right) + \frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)
double f(double z) {
        double r123769 = atan2(1.0, 0.0);
        double r123770 = 2.0;
        double r123771 = r123769 * r123770;
        double r123772 = sqrt(r123771);
        double r123773 = z;
        double r123774 = 1.0;
        double r123775 = r123773 - r123774;
        double r123776 = 7.0;
        double r123777 = r123775 + r123776;
        double r123778 = 0.5;
        double r123779 = r123777 + r123778;
        double r123780 = r123775 + r123778;
        double r123781 = pow(r123779, r123780);
        double r123782 = r123772 * r123781;
        double r123783 = -r123779;
        double r123784 = exp(r123783);
        double r123785 = r123782 * r123784;
        double r123786 = 0.9999999999998099;
        double r123787 = 676.5203681218851;
        double r123788 = r123775 + r123774;
        double r123789 = r123787 / r123788;
        double r123790 = r123786 + r123789;
        double r123791 = -1259.1392167224028;
        double r123792 = r123775 + r123770;
        double r123793 = r123791 / r123792;
        double r123794 = r123790 + r123793;
        double r123795 = 771.3234287776531;
        double r123796 = 3.0;
        double r123797 = r123775 + r123796;
        double r123798 = r123795 / r123797;
        double r123799 = r123794 + r123798;
        double r123800 = -176.6150291621406;
        double r123801 = 4.0;
        double r123802 = r123775 + r123801;
        double r123803 = r123800 / r123802;
        double r123804 = r123799 + r123803;
        double r123805 = 12.507343278686905;
        double r123806 = 5.0;
        double r123807 = r123775 + r123806;
        double r123808 = r123805 / r123807;
        double r123809 = r123804 + r123808;
        double r123810 = -0.13857109526572012;
        double r123811 = 6.0;
        double r123812 = r123775 + r123811;
        double r123813 = r123810 / r123812;
        double r123814 = r123809 + r123813;
        double r123815 = 9.984369578019572e-06;
        double r123816 = r123815 / r123777;
        double r123817 = r123814 + r123816;
        double r123818 = 1.5056327351493116e-07;
        double r123819 = 8.0;
        double r123820 = r123775 + r123819;
        double r123821 = r123818 / r123820;
        double r123822 = r123817 + r123821;
        double r123823 = r123785 * r123822;
        return r123823;
}

Reproduce

herbie shell --seed 2020100 
(FPCore (z)
  :name "Jmat.Real.gamma, branch z greater than 0.5"
  :precision binary64
  (* (* (* (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)))))