\[\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 r142645 = x;
        double r142646 = y;
        double r142647 = r142645 * r142646;
        double r142648 = z;
        double r142649 = t;
        double r142650 = r142648 * r142649;
        double r142651 = r142647 - r142650;
        double r142652 = a;
        double r142653 = b;
        double r142654 = r142652 * r142653;
        double r142655 = c;
        double r142656 = i;
        double r142657 = r142655 * r142656;
        double r142658 = r142654 - r142657;
        double r142659 = r142651 * r142658;
        double r142660 = j;
        double r142661 = r142645 * r142660;
        double r142662 = k;
        double r142663 = r142648 * r142662;
        double r142664 = r142661 - r142663;
        double r142665 = y0;
        double r142666 = r142665 * r142653;
        double r142667 = y1;
        double r142668 = r142667 * r142656;
        double r142669 = r142666 - r142668;
        double r142670 = r142664 * r142669;
        double r142671 = r142659 - r142670;
        double r142672 = y2;
        double r142673 = r142645 * r142672;
        double r142674 = y3;
        double r142675 = r142648 * r142674;
        double r142676 = r142673 - r142675;
        double r142677 = r142665 * r142655;
        double r142678 = r142667 * r142652;
        double r142679 = r142677 - r142678;
        double r142680 = r142676 * r142679;
        double r142681 = r142671 + r142680;
        double r142682 = r142649 * r142660;
        double r142683 = r142646 * r142662;
        double r142684 = r142682 - r142683;
        double r142685 = y4;
        double r142686 = r142685 * r142653;
        double r142687 = y5;
        double r142688 = r142687 * r142656;
        double r142689 = r142686 - r142688;
        double r142690 = r142684 * r142689;
        double r142691 = r142681 + r142690;
        double r142692 = r142649 * r142672;
        double r142693 = r142646 * r142674;
        double r142694 = r142692 - r142693;
        double r142695 = r142685 * r142655;
        double r142696 = r142687 * r142652;
        double r142697 = r142695 - r142696;
        double r142698 = r142694 * r142697;
        double r142699 = r142691 - r142698;
        double r142700 = r142662 * r142672;
        double r142701 = r142660 * r142674;
        double r142702 = r142700 - r142701;
        double r142703 = r142685 * r142667;
        double r142704 = r142687 * r142665;
        double r142705 = r142703 - r142704;
        double r142706 = r142702 * r142705;
        double r142707 = r142699 + r142706;
        return r142707;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(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: 'branch142644 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