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.9999999999998099298181841732002794742584 + \frac{676.5203681218850988443591631948947906494}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.139216722402807135949842631816864014}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531346025876700878143310547}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621405870046146446838974952698}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.50734327868690520801919774385169148445}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.1385710952657201178173096423051902092993}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)double f(double z) {
double r236872 = atan2(1.0, 0.0);
double r236873 = z;
double r236874 = r236872 * r236873;
double r236875 = sin(r236874);
double r236876 = r236872 / r236875;
double r236877 = 2.0;
double r236878 = r236872 * r236877;
double r236879 = sqrt(r236878);
double r236880 = 1.0;
double r236881 = r236880 - r236873;
double r236882 = r236881 - r236880;
double r236883 = 7.0;
double r236884 = r236882 + r236883;
double r236885 = 0.5;
double r236886 = r236884 + r236885;
double r236887 = r236882 + r236885;
double r236888 = pow(r236886, r236887);
double r236889 = r236879 * r236888;
double r236890 = -r236886;
double r236891 = exp(r236890);
double r236892 = r236889 * r236891;
double r236893 = 0.9999999999998099;
double r236894 = 676.5203681218851;
double r236895 = r236882 + r236880;
double r236896 = r236894 / r236895;
double r236897 = r236893 + r236896;
double r236898 = -1259.1392167224028;
double r236899 = r236882 + r236877;
double r236900 = r236898 / r236899;
double r236901 = r236897 + r236900;
double r236902 = 771.3234287776531;
double r236903 = 3.0;
double r236904 = r236882 + r236903;
double r236905 = r236902 / r236904;
double r236906 = r236901 + r236905;
double r236907 = -176.6150291621406;
double r236908 = 4.0;
double r236909 = r236882 + r236908;
double r236910 = r236907 / r236909;
double r236911 = r236906 + r236910;
double r236912 = 12.507343278686905;
double r236913 = 5.0;
double r236914 = r236882 + r236913;
double r236915 = r236912 / r236914;
double r236916 = r236911 + r236915;
double r236917 = -0.13857109526572012;
double r236918 = 6.0;
double r236919 = r236882 + r236918;
double r236920 = r236917 / r236919;
double r236921 = r236916 + r236920;
double r236922 = 9.984369578019572e-06;
double r236923 = r236922 / r236884;
double r236924 = r236921 + r236923;
double r236925 = 1.5056327351493116e-07;
double r236926 = 8.0;
double r236927 = r236882 + r236926;
double r236928 = r236925 / r236927;
double r236929 = r236924 + r236928;
double r236930 = r236892 * r236929;
double r236931 = r236876 * r236930;
return r236931;
}
herbie shell --seed 2019208
(FPCore (z)
:name "Jmat.Real.gamma, branch z less than 0.5"
:precision binary64
(* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.99999999999980993 (/ 676.520368121885099 (+ (- (- 1 z) 1) 1))) (/ -1259.13921672240281 (+ (- (- 1 z) 1) 2))) (/ 771.32342877765313 (+ (- (- 1 z) 1) 3))) (/ -176.615029162140587 (+ (- (- 1 z) 1) 4))) (/ 12.5073432786869052 (+ (- (- 1 z) 1) 5))) (/ -0.138571095265720118 (+ (- (- 1 z) 1) 6))) (/ 9.98436957801957158e-6 (+ (- (- 1 z) 1) 7))) (/ 1.50563273514931162e-7 (+ (- (- 1 z) 1) 8))))))