\[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)

double f(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) {
        double r136405 = x;
        double r136406 = y;
        double r136407 = r136405 * r136406;
        double r136408 = z;
        double r136409 = t;
        double r136410 = r136408 * r136409;
        double r136411 = r136407 - r136410;
        double r136412 = a;
        double r136413 = b;
        double r136414 = r136412 * r136413;
        double r136415 = c;
        double r136416 = i;
        double r136417 = r136415 * r136416;
        double r136418 = r136414 - r136417;
        double r136419 = r136411 * r136418;
        double r136420 = j;
        double r136421 = r136405 * r136420;
        double r136422 = k;
        double r136423 = r136408 * r136422;
        double r136424 = r136421 - r136423;
        double r136425 = y0;
        double r136426 = r136425 * r136413;
        double r136427 = y1;
        double r136428 = r136427 * r136416;
        double r136429 = r136426 - r136428;
        double r136430 = r136424 * r136429;
        double r136431 = r136419 - r136430;
        double r136432 = y2;
        double r136433 = r136405 * r136432;
        double r136434 = y3;
        double r136435 = r136408 * r136434;
        double r136436 = r136433 - r136435;
        double r136437 = r136425 * r136415;
        double r136438 = r136427 * r136412;
        double r136439 = r136437 - r136438;
        double r136440 = r136436 * r136439;
        double r136441 = r136431 + r136440;
        double r136442 = r136409 * r136420;
        double r136443 = r136406 * r136422;
        double r136444 = r136442 - r136443;
        double r136445 = y4;
        double r136446 = r136445 * r136413;
        double r136447 = y5;
        double r136448 = r136447 * r136416;
        double r136449 = r136446 - r136448;
        double r136450 = r136444 * r136449;
        double r136451 = r136441 + r136450;
        double r136452 = r136409 * r136432;
        double r136453 = r136406 * r136434;
        double r136454 = r136452 - r136453;
        double r136455 = r136445 * r136415;
        double r136456 = r136447 * r136412;
        double r136457 = r136455 - r136456;
        double r136458 = r136454 * r136457;
        double r136459 = r136451 - r136458;
        double r136460 = r136422 * r136432;
        double r136461 = r136420 * r136434;
        double r136462 = r136460 - r136461;
        double r136463 = r136445 * r136427;
        double r136464 = r136447 * r136425;
        double r136465 = r136463 - r136464;
        double r136466 = r136462 * r136465;
        double r136467 = r136459 + r136466;
        return r136467;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 +o rules:numerics
(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
  :name "Linear.Matrix:det44 from linear-1.19.1.3"
  :precision binary64
  (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))))

Backtrace

dict-ref: no value for key: 'branch136404 in: '((x . binary64) (y . binary64) (z . binary64) (t . binary64) (a . binary64) (b . binary64) (c . binary64) (i . binary64) (j . binary64) (k . binary64) (y0 . binary64) (y1 . binary64) (y2 . binary64) (y3 . binary64) (y4 . binary64) (y5 . binary64))		L	C
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt	106	4
make-sampler	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt	99	0
prepare-points-intervals	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt	121	0
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	233	9
sindices->spoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	194	0
f33	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
get-final-combination	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	369	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