\[\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 r10051 = x;
        double r10052 = y;
        double r10053 = r10051 * r10052;
        double r10054 = z;
        double r10055 = r10053 + r10054;
        double r10056 = r10055 * r10052;
        double r10057 = 27464.7644705;
        double r10058 = r10056 + r10057;
        double r10059 = r10058 * r10052;
        double r10060 = 230661.510616;
        double r10061 = r10059 + r10060;
        double r10062 = r10061 * r10052;
        double r10063 = t;
        double r10064 = r10062 + r10063;
        double r10065 = a;
        double r10066 = r10052 + r10065;
        double r10067 = r10066 * r10052;
        double r10068 = b;
        double r10069 = r10067 + r10068;
        double r10070 = r10069 * r10052;
        double r10071 = c;
        double r10072 = r10070 + r10071;
        double r10073 = r10072 * r10052;
        double r10074 = i;
        double r10075 = r10073 + r10074;
        double r10076 = r10064 / r10075;
        return r10076;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019310 +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