x + \frac{y \cdot \left(\left(\left(\left(z \cdot 3.130605476229999961645944495103321969509 + 11.16675412620000074070958362426608800888\right) \cdot z + t\right) \cdot z + a\right) \cdot z + b\right)}{\left(\left(\left(z + 15.2346874069999991263557603815570473671\right) \cdot z + 31.46901157490000144889563671313226222992\right) \cdot z + 11.94009057210000079862766142468899488449\right) \cdot z + 0.6077713877710000378584709324059076607227}double f(double x, double y, double z, double t, double a, double b) {
double r8425 = x;
double r8426 = y;
double r8427 = z;
double r8428 = 3.13060547623;
double r8429 = r8427 * r8428;
double r8430 = 11.1667541262;
double r8431 = r8429 + r8430;
double r8432 = r8431 * r8427;
double r8433 = t;
double r8434 = r8432 + r8433;
double r8435 = r8434 * r8427;
double r8436 = a;
double r8437 = r8435 + r8436;
double r8438 = r8437 * r8427;
double r8439 = b;
double r8440 = r8438 + r8439;
double r8441 = r8426 * r8440;
double r8442 = 15.234687407;
double r8443 = r8427 + r8442;
double r8444 = r8443 * r8427;
double r8445 = 31.4690115749;
double r8446 = r8444 + r8445;
double r8447 = r8446 * r8427;
double r8448 = 11.9400905721;
double r8449 = r8447 + r8448;
double r8450 = r8449 * r8427;
double r8451 = 0.607771387771;
double r8452 = r8450 + r8451;
double r8453 = r8441 / r8452;
double r8454 = r8425 + r8453;
return r8454;
}
Please include this information when filing a bug report:
herbie shell --seed 2019191
(FPCore (x y z t a b)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, D"
:herbie-target
(if (< z -6.499344996252632e+53) (+ x (* (+ (- 3.13060547623 (/ 36.527041698806414 z)) (/ t (* z z))) (/ y 1.0))) (if (< z 7.066965436914287e+59) (+ x (/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))) (+ x (* (+ (- 3.13060547623 (/ 36.527041698806414 z)) (/ t (* z z))) (/ y 1.0)))))
(+ x (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))
| get-representation: Unknown representation #f | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/interface2/src/points.rkt | 122 | 4 |
| prepare-points | /data/pavpan/nightlies/herbie/interface2/src/points.rkt | 146 | 0 |
| setup-prog!34 | /data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt | 67 | 0 |
| run-improve43 | /data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt | 339 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |