Exception for Kahan p13 Example 1

Math

\[\frac{1 + \frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}{2 + \frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}\]

C

double f(double t) {
        double r8433 = 1.0;
        double r8434 = 2.0;
        double r8435 = t;
        double r8436 = r8434 * r8435;
        double r8437 = r8433 + r8435;
        double r8438 = r8436 / r8437;
        double r8439 = r8438 * r8438;
        double r8440 = r8433 + r8439;
        double r8441 = r8434 + r8439;
        double r8442 = r8440 / r8441;
        return r8442;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019315 +o rules:numerics
(FPCore (t)
  :name "Kahan p13 Example 1"
  :precision binary64
  (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))

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
simplify	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt	16	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