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.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-06}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-07}}{\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.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-06}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-07}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
double f(double z) {
        double r25852991 = atan2(1.0, 0.0);
        double r25852992 = z;
        double r25852993 = r25852991 * r25852992;
        double r25852994 = sin(r25852993);
        double r25852995 = r25852991 / r25852994;
        double r25852996 = 2.0;
        double r25852997 = r25852991 * r25852996;
        double r25852998 = sqrt(r25852997);
        double r25852999 = 1.0;
        double r25853000 = r25852999 - r25852992;
        double r25853001 = r25853000 - r25852999;
        double r25853002 = 7.0;
        double r25853003 = r25853001 + r25853002;
        double r25853004 = 0.5;
        double r25853005 = r25853003 + r25853004;
        double r25853006 = r25853001 + r25853004;
        double r25853007 = pow(r25853005, r25853006);
        double r25853008 = r25852998 * r25853007;
        double r25853009 = -r25853005;
        double r25853010 = exp(r25853009);
        double r25853011 = r25853008 * r25853010;
        double r25853012 = 0.9999999999998099;
        double r25853013 = 676.5203681218851;
        double r25853014 = r25853001 + r25852999;
        double r25853015 = r25853013 / r25853014;
        double r25853016 = r25853012 + r25853015;
        double r25853017 = -1259.1392167224028;
        double r25853018 = r25853001 + r25852996;
        double r25853019 = r25853017 / r25853018;
        double r25853020 = r25853016 + r25853019;
        double r25853021 = 771.3234287776531;
        double r25853022 = 3.0;
        double r25853023 = r25853001 + r25853022;
        double r25853024 = r25853021 / r25853023;
        double r25853025 = r25853020 + r25853024;
        double r25853026 = -176.6150291621406;
        double r25853027 = 4.0;
        double r25853028 = r25853001 + r25853027;
        double r25853029 = r25853026 / r25853028;
        double r25853030 = r25853025 + r25853029;
        double r25853031 = 12.507343278686905;
        double r25853032 = 5.0;
        double r25853033 = r25853001 + r25853032;
        double r25853034 = r25853031 / r25853033;
        double r25853035 = r25853030 + r25853034;
        double r25853036 = -0.13857109526572012;
        double r25853037 = 6.0;
        double r25853038 = r25853001 + r25853037;
        double r25853039 = r25853036 / r25853038;
        double r25853040 = r25853035 + r25853039;
        double r25853041 = 9.984369578019572e-06;
        double r25853042 = r25853041 / r25853003;
        double r25853043 = r25853040 + r25853042;
        double r25853044 = 1.5056327351493116e-07;
        double r25853045 = 8.0;
        double r25853046 = r25853001 + r25853045;
        double r25853047 = r25853044 / r25853046;
        double r25853048 = r25853043 + r25853047;
        double r25853049 = r25853011 * r25853048;
        double r25853050 = r25852995 * r25853049;
        return r25853050;
}

Reproduce

herbie shell --seed 2019138 +o rules:numerics
(FPCore (z)
  :name "Jmat.Real.gamma, branch z less than 0.5"
  (* (/ 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.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))