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 r99380 = atan2(1.0, 0.0);
        double r99381 = 2.0;
        double r99382 = r99380 * r99381;
        double r99383 = sqrt(r99382);
        double r99384 = z;
        double r99385 = 1.0;
        double r99386 = r99384 - r99385;
        double r99387 = 7.0;
        double r99388 = r99386 + r99387;
        double r99389 = 0.5;
        double r99390 = r99388 + r99389;
        double r99391 = r99386 + r99389;
        double r99392 = pow(r99390, r99391);
        double r99393 = r99383 * r99392;
        double r99394 = -r99390;
        double r99395 = exp(r99394);
        double r99396 = r99393 * r99395;
        double r99397 = 0.9999999999998099;
        double r99398 = 676.5203681218851;
        double r99399 = r99386 + r99385;
        double r99400 = r99398 / r99399;
        double r99401 = r99397 + r99400;
        double r99402 = -1259.1392167224028;
        double r99403 = r99386 + r99381;
        double r99404 = r99402 / r99403;
        double r99405 = r99401 + r99404;
        double r99406 = 771.3234287776531;
        double r99407 = 3.0;
        double r99408 = r99386 + r99407;
        double r99409 = r99406 / r99408;
        double r99410 = r99405 + r99409;
        double r99411 = -176.6150291621406;
        double r99412 = 4.0;
        double r99413 = r99386 + r99412;
        double r99414 = r99411 / r99413;
        double r99415 = r99410 + r99414;
        double r99416 = 12.507343278686905;
        double r99417 = 5.0;
        double r99418 = r99386 + r99417;
        double r99419 = r99416 / r99418;
        double r99420 = r99415 + r99419;
        double r99421 = -0.13857109526572012;
        double r99422 = 6.0;
        double r99423 = r99386 + r99422;
        double r99424 = r99421 / r99423;
        double r99425 = r99420 + r99424;
        double r99426 = 9.984369578019572e-06;
        double r99427 = r99426 / r99388;
        double r99428 = r99425 + r99427;
        double r99429 = 1.5056327351493116e-07;
        double r99430 = 8.0;
        double r99431 = r99386 + r99430;
        double r99432 = r99429 / r99431;
        double r99433 = r99428 + r99432;
        double r99434 = r99396 * r99433;
        return r99434;
}

Reproduce

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