\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 r11494 = atan2(1.0, 0.0);
double r11495 = 2.0;
double r11496 = r11494 * r11495;
double r11497 = sqrt(r11496);
double r11498 = z;
double r11499 = 1.0;
double r11500 = r11498 - r11499;
double r11501 = 7.0;
double r11502 = r11500 + r11501;
double r11503 = 0.5;
double r11504 = r11502 + r11503;
double r11505 = r11500 + r11503;
double r11506 = pow(r11504, r11505);
double r11507 = r11497 * r11506;
double r11508 = -r11504;
double r11509 = exp(r11508);
double r11510 = r11507 * r11509;
double r11511 = 0.9999999999998099;
double r11512 = 676.5203681218851;
double r11513 = r11500 + r11499;
double r11514 = r11512 / r11513;
double r11515 = r11511 + r11514;
double r11516 = -1259.1392167224028;
double r11517 = r11500 + r11495;
double r11518 = r11516 / r11517;
double r11519 = r11515 + r11518;
double r11520 = 771.3234287776531;
double r11521 = 3.0;
double r11522 = r11500 + r11521;
double r11523 = r11520 / r11522;
double r11524 = r11519 + r11523;
double r11525 = -176.6150291621406;
double r11526 = 4.0;
double r11527 = r11500 + r11526;
double r11528 = r11525 / r11527;
double r11529 = r11524 + r11528;
double r11530 = 12.507343278686905;
double r11531 = 5.0;
double r11532 = r11500 + r11531;
double r11533 = r11530 / r11532;
double r11534 = r11529 + r11533;
double r11535 = -0.13857109526572012;
double r11536 = 6.0;
double r11537 = r11500 + r11536;
double r11538 = r11535 / r11537;
double r11539 = r11534 + r11538;
double r11540 = 9.984369578019572e-06;
double r11541 = r11540 / r11502;
double r11542 = r11539 + r11541;
double r11543 = 1.5056327351493116e-07;
double r11544 = 8.0;
double r11545 = r11500 + r11544;
double r11546 = r11543 / r11545;
double r11547 = r11542 + r11546;
double r11548 = r11510 * r11547;
return r11548;
}
Please include this information when filing a bug report:
herbie shell --seed 2019310 +o rules:numerics
(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 |