\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 r13659 = atan2(1.0, 0.0);
double r13660 = 2.0;
double r13661 = r13659 * r13660;
double r13662 = sqrt(r13661);
double r13663 = z;
double r13664 = 1.0;
double r13665 = r13663 - r13664;
double r13666 = 7.0;
double r13667 = r13665 + r13666;
double r13668 = 0.5;
double r13669 = r13667 + r13668;
double r13670 = r13665 + r13668;
double r13671 = pow(r13669, r13670);
double r13672 = r13662 * r13671;
double r13673 = -r13669;
double r13674 = exp(r13673);
double r13675 = r13672 * r13674;
double r13676 = 0.9999999999998099;
double r13677 = 676.5203681218851;
double r13678 = r13665 + r13664;
double r13679 = r13677 / r13678;
double r13680 = r13676 + r13679;
double r13681 = -1259.1392167224028;
double r13682 = r13665 + r13660;
double r13683 = r13681 / r13682;
double r13684 = r13680 + r13683;
double r13685 = 771.3234287776531;
double r13686 = 3.0;
double r13687 = r13665 + r13686;
double r13688 = r13685 / r13687;
double r13689 = r13684 + r13688;
double r13690 = -176.6150291621406;
double r13691 = 4.0;
double r13692 = r13665 + r13691;
double r13693 = r13690 / r13692;
double r13694 = r13689 + r13693;
double r13695 = 12.507343278686905;
double r13696 = 5.0;
double r13697 = r13665 + r13696;
double r13698 = r13695 / r13697;
double r13699 = r13694 + r13698;
double r13700 = -0.13857109526572012;
double r13701 = 6.0;
double r13702 = r13665 + r13701;
double r13703 = r13700 / r13702;
double r13704 = r13699 + r13703;
double r13705 = 9.984369578019572e-06;
double r13706 = r13705 / r13667;
double r13707 = r13704 + r13706;
double r13708 = 1.5056327351493116e-07;
double r13709 = 8.0;
double r13710 = r13665 + r13709;
double r13711 = r13708 / r13710;
double r13712 = r13707 + r13711;
double r13713 = r13675 * r13712;
return r13713;
}
Please include this information when filing a bug report:
herbie shell --seed 2019315
(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 |