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.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)\]
\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 r6714647 = atan2(1.0, 0.0);
        double r6714648 = z;
        double r6714649 = r6714647 * r6714648;
        double r6714650 = sin(r6714649);
        double r6714651 = r6714647 / r6714650;
        double r6714652 = 2.0;
        double r6714653 = r6714647 * r6714652;
        double r6714654 = sqrt(r6714653);
        double r6714655 = 1.0;
        double r6714656 = r6714655 - r6714648;
        double r6714657 = r6714656 - r6714655;
        double r6714658 = 7.0;
        double r6714659 = r6714657 + r6714658;
        double r6714660 = 0.5;
        double r6714661 = r6714659 + r6714660;
        double r6714662 = r6714657 + r6714660;
        double r6714663 = pow(r6714661, r6714662);
        double r6714664 = r6714654 * r6714663;
        double r6714665 = -r6714661;
        double r6714666 = exp(r6714665);
        double r6714667 = r6714664 * r6714666;
        double r6714668 = 0.9999999999998099;
        double r6714669 = 676.5203681218851;
        double r6714670 = r6714657 + r6714655;
        double r6714671 = r6714669 / r6714670;
        double r6714672 = r6714668 + r6714671;
        double r6714673 = -1259.1392167224028;
        double r6714674 = r6714657 + r6714652;
        double r6714675 = r6714673 / r6714674;
        double r6714676 = r6714672 + r6714675;
        double r6714677 = 771.3234287776531;
        double r6714678 = 3.0;
        double r6714679 = r6714657 + r6714678;
        double r6714680 = r6714677 / r6714679;
        double r6714681 = r6714676 + r6714680;
        double r6714682 = -176.6150291621406;
        double r6714683 = 4.0;
        double r6714684 = r6714657 + r6714683;
        double r6714685 = r6714682 / r6714684;
        double r6714686 = r6714681 + r6714685;
        double r6714687 = 12.507343278686905;
        double r6714688 = 5.0;
        double r6714689 = r6714657 + r6714688;
        double r6714690 = r6714687 / r6714689;
        double r6714691 = r6714686 + r6714690;
        double r6714692 = -0.13857109526572012;
        double r6714693 = 6.0;
        double r6714694 = r6714657 + r6714693;
        double r6714695 = r6714692 / r6714694;
        double r6714696 = r6714691 + r6714695;
        double r6714697 = 9.984369578019572e-06;
        double r6714698 = r6714697 / r6714659;
        double r6714699 = r6714696 + r6714698;
        double r6714700 = 1.5056327351493116e-07;
        double r6714701 = 8.0;
        double r6714702 = r6714657 + r6714701;
        double r6714703 = r6714700 / r6714702;
        double r6714704 = r6714699 + r6714703;
        double r6714705 = r6714667 * r6714704;
        double r6714706 = r6714651 * r6714705;
        return r6714706;
}

Reproduce

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