Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.99999999999980993 + \frac{676.520368121885099}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.13921672240281}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.32342877765313}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.615029162140587}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.5073432786869052}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.138571095265720118}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.98436957801957158 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)\]
\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.99999999999980993 + \frac{676.520368121885099}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.13921672240281}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.32342877765313}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.615029162140587}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.5073432786869052}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.138571095265720118}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.98436957801957158 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
double f(double z) {
        double r114925 = atan2(1.0, 0.0);
        double r114926 = z;
        double r114927 = r114925 * r114926;
        double r114928 = sin(r114927);
        double r114929 = r114925 / r114928;
        double r114930 = 2.0;
        double r114931 = r114925 * r114930;
        double r114932 = sqrt(r114931);
        double r114933 = 1.0;
        double r114934 = r114933 - r114926;
        double r114935 = r114934 - r114933;
        double r114936 = 7.0;
        double r114937 = r114935 + r114936;
        double r114938 = 0.5;
        double r114939 = r114937 + r114938;
        double r114940 = r114935 + r114938;
        double r114941 = pow(r114939, r114940);
        double r114942 = r114932 * r114941;
        double r114943 = -r114939;
        double r114944 = exp(r114943);
        double r114945 = r114942 * r114944;
        double r114946 = 0.9999999999998099;
        double r114947 = 676.5203681218851;
        double r114948 = r114935 + r114933;
        double r114949 = r114947 / r114948;
        double r114950 = r114946 + r114949;
        double r114951 = -1259.1392167224028;
        double r114952 = r114935 + r114930;
        double r114953 = r114951 / r114952;
        double r114954 = r114950 + r114953;
        double r114955 = 771.3234287776531;
        double r114956 = 3.0;
        double r114957 = r114935 + r114956;
        double r114958 = r114955 / r114957;
        double r114959 = r114954 + r114958;
        double r114960 = -176.6150291621406;
        double r114961 = 4.0;
        double r114962 = r114935 + r114961;
        double r114963 = r114960 / r114962;
        double r114964 = r114959 + r114963;
        double r114965 = 12.507343278686905;
        double r114966 = 5.0;
        double r114967 = r114935 + r114966;
        double r114968 = r114965 / r114967;
        double r114969 = r114964 + r114968;
        double r114970 = -0.13857109526572012;
        double r114971 = 6.0;
        double r114972 = r114935 + r114971;
        double r114973 = r114970 / r114972;
        double r114974 = r114969 + r114973;
        double r114975 = 9.984369578019572e-06;
        double r114976 = r114975 / r114937;
        double r114977 = r114974 + r114976;
        double r114978 = 1.5056327351493116e-07;
        double r114979 = 8.0;
        double r114980 = r114935 + r114979;
        double r114981 = r114978 / r114980;
        double r114982 = r114977 + r114981;
        double r114983 = r114945 * r114982;
        double r114984 = r114929 * r114983;
        return r114984;
}

Reproduce

herbie shell --seed 2019198 
(FPCore (z)
  :name "Jmat.Real.gamma, branch z less than 0.5"
  (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))))