Exception for Rump's expression from Stadtherr's award speech

\[x = 77617 \land y = 33096\]

Math

\[\left(\left(333.75 \cdot {y}^{6} + \left(x \cdot x\right) \cdot \left(\left(\left(\left(\left(\left(11 \cdot x\right) \cdot x\right) \cdot y\right) \cdot y - {y}^{6}\right) - 121 \cdot {y}^{4}\right) - 2\right)\right) + 5.5 \cdot {y}^{8}\right) + \frac{x}{2 \cdot y}\]

C

double f(double x, double y) {
        double r8373 = 333.75;
        double r8374 = y;
        double r8375 = 6.0;
        double r8376 = pow(r8374, r8375);
        double r8377 = r8373 * r8376;
        double r8378 = x;
        double r8379 = r8378 * r8378;
        double r8380 = 11.0;
        double r8381 = r8380 * r8378;
        double r8382 = r8381 * r8378;
        double r8383 = r8382 * r8374;
        double r8384 = r8383 * r8374;
        double r8385 = r8384 - r8376;
        double r8386 = 121.0;
        double r8387 = 4.0;
        double r8388 = pow(r8374, r8387);
        double r8389 = r8386 * r8388;
        double r8390 = r8385 - r8389;
        double r8391 = 2.0;
        double r8392 = r8390 - r8391;
        double r8393 = r8379 * r8392;
        double r8394 = r8377 + r8393;
        double r8395 = 5.5;
        double r8396 = 8.0;
        double r8397 = pow(r8374, r8396);
        double r8398 = r8395 * r8397;
        double r8399 = r8394 + r8398;
        double r8400 = r8391 * r8374;
        double r8401 = r8378 / r8400;
        double r8402 = r8399 + r8401;
        return r8402;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019315 
(FPCore (x y)
  :name "Rump's expression from Stadtherr's award speech"
  :precision binary64
  :pre (and (== x 77617) (== y 33096))
  (+ (+ (+ (* 333.75 (pow y 6)) (* (* x x) (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* 121 (pow y 4))) 2))) (* 5.5 (pow y 8))) (/ x (* 2 y))))

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
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