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 r117826 = atan2(1.0, 0.0);
        double r117827 = 2.0;
        double r117828 = r117826 * r117827;
        double r117829 = sqrt(r117828);
        double r117830 = z;
        double r117831 = 1.0;
        double r117832 = r117830 - r117831;
        double r117833 = 7.0;
        double r117834 = r117832 + r117833;
        double r117835 = 0.5;
        double r117836 = r117834 + r117835;
        double r117837 = r117832 + r117835;
        double r117838 = pow(r117836, r117837);
        double r117839 = r117829 * r117838;
        double r117840 = -r117836;
        double r117841 = exp(r117840);
        double r117842 = r117839 * r117841;
        double r117843 = 0.9999999999998099;
        double r117844 = 676.5203681218851;
        double r117845 = r117832 + r117831;
        double r117846 = r117844 / r117845;
        double r117847 = r117843 + r117846;
        double r117848 = -1259.1392167224028;
        double r117849 = r117832 + r117827;
        double r117850 = r117848 / r117849;
        double r117851 = r117847 + r117850;
        double r117852 = 771.3234287776531;
        double r117853 = 3.0;
        double r117854 = r117832 + r117853;
        double r117855 = r117852 / r117854;
        double r117856 = r117851 + r117855;
        double r117857 = -176.6150291621406;
        double r117858 = 4.0;
        double r117859 = r117832 + r117858;
        double r117860 = r117857 / r117859;
        double r117861 = r117856 + r117860;
        double r117862 = 12.507343278686905;
        double r117863 = 5.0;
        double r117864 = r117832 + r117863;
        double r117865 = r117862 / r117864;
        double r117866 = r117861 + r117865;
        double r117867 = -0.13857109526572012;
        double r117868 = 6.0;
        double r117869 = r117832 + r117868;
        double r117870 = r117867 / r117869;
        double r117871 = r117866 + r117870;
        double r117872 = 9.984369578019572e-06;
        double r117873 = r117872 / r117834;
        double r117874 = r117871 + r117873;
        double r117875 = 1.5056327351493116e-07;
        double r117876 = 8.0;
        double r117877 = r117832 + r117876;
        double r117878 = r117875 / r117877;
        double r117879 = r117874 + r117878;
        double r117880 = r117842 * r117879;
        return r117880;
}

Reproduce

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