\[\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}\]

\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 r9273 = x;
        double r9274 = y;
        double r9275 = r9273 * r9274;
        double r9276 = z;
        double r9277 = r9275 + r9276;
        double r9278 = r9277 * r9274;
        double r9279 = 27464.7644705;
        double r9280 = r9278 + r9279;
        double r9281 = r9280 * r9274;
        double r9282 = 230661.510616;
        double r9283 = r9281 + r9282;
        double r9284 = r9283 * r9274;
        double r9285 = t;
        double r9286 = r9284 + r9285;
        double r9287 = a;
        double r9288 = r9274 + r9287;
        double r9289 = r9288 * r9274;
        double r9290 = b;
        double r9291 = r9289 + r9290;
        double r9292 = r9291 * r9274;
        double r9293 = c;
        double r9294 = r9292 + r9293;
        double r9295 = r9294 * r9274;
        double r9296 = i;
        double r9297 = r9295 + r9296;
        double r9298 = r9286 / r9297;
        return r9298;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019315 +o rules:numerics
(FPCore (x y z t a b c i)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
  :precision binary64
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.764470499998) y) 230661.510616000014) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

Backtrace

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
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt	87	11
parse-loop373	/opt/racket-7.2/collects/racket/match/compiler.rkt	418	15
append-map	/opt/racket-7.2/collects/racket/list.rkt	586	2
simplify-node	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt	48	0
simplify	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt	16	0
hash-ref!	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	376	2
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	304	27
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	301	23
hash-ref!	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	376	2
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	291	52
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	291	26
hash-ref!	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	376	2
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	304	27
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	301	23
hash-ref!	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	376	2
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	291	52
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	291	26
hash-ref!	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	376	2
first-nonzero-exp	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	266	0
taylor-quotient	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	334	0
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	30	18
approximate9	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	12	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
(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