\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644704999984242022037506103515625\right) \cdot y + 230661.5106160000141244381666183471679688\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r6309846 = x;
double r6309847 = y;
double r6309848 = r6309846 * r6309847;
double r6309849 = z;
double r6309850 = r6309848 + r6309849;
double r6309851 = r6309850 * r6309847;
double r6309852 = 27464.7644705;
double r6309853 = r6309851 + r6309852;
double r6309854 = r6309853 * r6309847;
double r6309855 = 230661.510616;
double r6309856 = r6309854 + r6309855;
double r6309857 = r6309856 * r6309847;
double r6309858 = t;
double r6309859 = r6309857 + r6309858;
double r6309860 = a;
double r6309861 = r6309847 + r6309860;
double r6309862 = r6309861 * r6309847;
double r6309863 = b;
double r6309864 = r6309862 + r6309863;
double r6309865 = r6309864 * r6309847;
double r6309866 = c;
double r6309867 = r6309865 + r6309866;
double r6309868 = r6309867 * r6309847;
double r6309869 = i;
double r6309870 = r6309868 + r6309869;
double r6309871 = r6309859 / r6309870;
return r6309871;
}
Please include this information when filing a bug report:
herbie shell --seed 2019173 +o rules:numerics
(FPCore (x y z t a b c i)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
| hash-ref: no value found for key key: #<enode 426(426)> | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 197 | 2 |
| extractor-extract | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 196 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 35 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 217 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 320 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 354 | 4 |
| run-improve43 | /data/pavpan/nightlies/herbie/various-cleanup/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 |