\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.9999999999998099298181841732002794742584 + \frac{676.5203681218850988443591631948947906494}{\left(z - 1\right) + 1}\right) + \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)double f(double z) {
double r12498 = atan2(1.0, 0.0);
double r12499 = 2.0;
double r12500 = r12498 * r12499;
double r12501 = sqrt(r12500);
double r12502 = z;
double r12503 = 1.0;
double r12504 = r12502 - r12503;
double r12505 = 7.0;
double r12506 = r12504 + r12505;
double r12507 = 0.5;
double r12508 = r12506 + r12507;
double r12509 = r12504 + r12507;
double r12510 = pow(r12508, r12509);
double r12511 = r12501 * r12510;
double r12512 = -r12508;
double r12513 = exp(r12512);
double r12514 = r12511 * r12513;
double r12515 = 0.9999999999998099;
double r12516 = 676.5203681218851;
double r12517 = r12504 + r12503;
double r12518 = r12516 / r12517;
double r12519 = r12515 + r12518;
double r12520 = -1259.1392167224028;
double r12521 = r12504 + r12499;
double r12522 = r12520 / r12521;
double r12523 = r12519 + r12522;
double r12524 = 771.3234287776531;
double r12525 = 3.0;
double r12526 = r12504 + r12525;
double r12527 = r12524 / r12526;
double r12528 = r12523 + r12527;
double r12529 = -176.6150291621406;
double r12530 = 4.0;
double r12531 = r12504 + r12530;
double r12532 = r12529 / r12531;
double r12533 = r12528 + r12532;
double r12534 = 12.507343278686905;
double r12535 = 5.0;
double r12536 = r12504 + r12535;
double r12537 = r12534 / r12536;
double r12538 = r12533 + r12537;
double r12539 = -0.13857109526572012;
double r12540 = 6.0;
double r12541 = r12504 + r12540;
double r12542 = r12539 / r12541;
double r12543 = r12538 + r12542;
double r12544 = 9.984369578019572e-06;
double r12545 = r12544 / r12506;
double r12546 = r12543 + r12545;
double r12547 = 1.5056327351493116e-07;
double r12548 = 8.0;
double r12549 = r12504 + r12548;
double r12550 = r12547 / r12549;
double r12551 = r12546 + r12550;
double r12552 = r12514 * r12551;
return r12552;
}
Please include this information when filing a bug report:
herbie shell --seed 2019310
(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.99999999999980993 (/ 676.520368121885099 (+ (- z 1) 1))) (/ -1259.13921672240281 (+ (- z 1) 2))) (/ 771.32342877765313 (+ (- z 1) 3))) (/ -176.615029162140587 (+ (- z 1) 4))) (/ 12.5073432786869052 (+ (- z 1) 5))) (/ -0.138571095265720118 (+ (- z 1) 6))) (/ 9.98436957801957158e-6 (+ (- z 1) 7))) (/ 1.50563273514931162e-7 (+ (- z 1) 8)))))
| match: no matching clause for 'binary64 | L | C | |
|---|---|---|---|
| match:error | /opt/racket-7.2/collects/racket/match/runtime.rkt | 24 | 0 |
| make-multiplication-subsubsubnode | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt | 266 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt | 246 | 3 |
| make-multiplication-subnode | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt | 244 | 0 |
| make-multiplication-node | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt | 234 | 0 |
| map | /opt/racket-7.2/collects/racket/private/map.rkt | 35 | 13 |
| f45 | /opt/racket-7.2/collects/racket/match/compiler.rkt | 507 | 40 |
| simplify | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt | 16 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt | 360 | 33 |
| location-do | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt | 64 | 0 |
| location-do | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt | 64 | 0 |
| location-do | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt | 64 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt | 360 | 33 |
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 151 | 6 |
| taylor-alt | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 145 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 166 | 7 |
| gen-series! | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 159 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 326 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 364 | 4 |
| run-improve47 | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 345 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |