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

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 r23146 = x;
        double r23147 = y;
        double r23148 = z;
        double r23149 = 3.13060547623;
        double r23150 = r23148 * r23149;
        double r23151 = 11.1667541262;
        double r23152 = r23150 + r23151;
        double r23153 = r23152 * r23148;
        double r23154 = t;
        double r23155 = r23153 + r23154;
        double r23156 = r23155 * r23148;
        double r23157 = a;
        double r23158 = r23156 + r23157;
        double r23159 = r23158 * r23148;
        double r23160 = b;
        double r23161 = r23159 + r23160;
        double r23162 = r23147 * r23161;
        double r23163 = 15.234687407;
        double r23164 = r23148 + r23163;
        double r23165 = r23164 * r23148;
        double r23166 = 31.4690115749;
        double r23167 = r23165 + r23166;
        double r23168 = r23167 * r23148;
        double r23169 = 11.9400905721;
        double r23170 = r23168 + r23169;
        double r23171 = r23170 * r23148;
        double r23172 = 0.607771387771;
        double r23173 = r23171 + r23172;
        double r23174 = r23162 / r23173;
        double r23175 = r23146 + r23174;
        return r23175;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019310 
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, D"
  :precision binary64

  :herbie-target
  (if (< z -6.4993449962526318e53) (+ x (* (+ (- 3.13060547622999996 (/ 36.527041698806414 z)) (/ t (* z z))) (/ y 1))) (if (< z 7.0669654369142868e59) (+ x (/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687406999999) z) 31.469011574900001) z) 11.940090572100001) z) 0.60777138777100004) (+ (* (+ (* (+ (* (+ (* z 3.13060547622999996) 11.166754126200001) z) t) z) a) z) b)))) (+ x (* (+ (- 3.13060547622999996 (/ 36.527041698806414 z)) (/ t (* z z))) (/ y 1)))))

  (+ x (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547622999996) 11.166754126200001) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687406999999) z) 31.469011574900001) z) 11.940090572100001) z) 0.60777138777100004))))

Backtrace

match: no matching clause for 'binary64		L	C
match:error	/opt/racket-7.2/collects/racket/match/runtime.rkt	24	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
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
map	/opt/racket-7.2/collects/racket/private/map.rkt	35	13
f45	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
map	/opt/racket-7.2/collects/racket/private/map.rkt	35	13
f45	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
map	/opt/racket-7.2/collects/racket/private/map.rkt	35	13
f45	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
map	/opt/racket-7.2/collects/racket/private/map.rkt	35	13
f45	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
map	/opt/racket-7.2/collects/racket/private/map.rkt	35	13
f45	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
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
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
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