\[\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 r53403 = x;
        double r53404 = y;
        double r53405 = r53403 * r53404;
        double r53406 = z;
        double r53407 = t;
        double r53408 = r53406 * r53407;
        double r53409 = r53405 - r53408;
        double r53410 = a;
        double r53411 = b;
        double r53412 = r53410 * r53411;
        double r53413 = c;
        double r53414 = i;
        double r53415 = r53413 * r53414;
        double r53416 = r53412 - r53415;
        double r53417 = r53409 * r53416;
        double r53418 = j;
        double r53419 = r53403 * r53418;
        double r53420 = k;
        double r53421 = r53406 * r53420;
        double r53422 = r53419 - r53421;
        double r53423 = y0;
        double r53424 = r53423 * r53411;
        double r53425 = y1;
        double r53426 = r53425 * r53414;
        double r53427 = r53424 - r53426;
        double r53428 = r53422 * r53427;
        double r53429 = r53417 - r53428;
        double r53430 = y2;
        double r53431 = r53403 * r53430;
        double r53432 = y3;
        double r53433 = r53406 * r53432;
        double r53434 = r53431 - r53433;
        double r53435 = r53423 * r53413;
        double r53436 = r53425 * r53410;
        double r53437 = r53435 - r53436;
        double r53438 = r53434 * r53437;
        double r53439 = r53429 + r53438;
        double r53440 = r53407 * r53418;
        double r53441 = r53404 * r53420;
        double r53442 = r53440 - r53441;
        double r53443 = y4;
        double r53444 = r53443 * r53411;
        double r53445 = y5;
        double r53446 = r53445 * r53414;
        double r53447 = r53444 - r53446;
        double r53448 = r53442 * r53447;
        double r53449 = r53439 + r53448;
        double r53450 = r53407 * r53430;
        double r53451 = r53404 * r53432;
        double r53452 = r53450 - r53451;
        double r53453 = r53443 * r53413;
        double r53454 = r53445 * r53410;
        double r53455 = r53453 - r53454;
        double r53456 = r53452 * r53455;
        double r53457 = r53449 - r53456;
        double r53458 = r53420 * r53430;
        double r53459 = r53418 * r53432;
        double r53460 = r53458 - r53459;
        double r53461 = r53443 * r53425;
        double r53462 = r53445 * r53423;
        double r53463 = r53461 - r53462;
        double r53464 = r53460 * r53463;
        double r53465 = r53457 + r53464;
        return r53465;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019310 
(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

argmin: contract violation expected: (and/c list? (not/c empty?)) given: '() argument position: 2nd other arguments...: #<procedure:composed>		L	C
argmin	/opt/racket-7.2/collects/racket/list.rkt	765	0
infer-splitpoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	34	0
get-final-combination	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	370	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