\[\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 r56179 = x;
        double r56180 = y;
        double r56181 = r56179 * r56180;
        double r56182 = z;
        double r56183 = t;
        double r56184 = r56182 * r56183;
        double r56185 = r56181 - r56184;
        double r56186 = a;
        double r56187 = b;
        double r56188 = r56186 * r56187;
        double r56189 = c;
        double r56190 = i;
        double r56191 = r56189 * r56190;
        double r56192 = r56188 - r56191;
        double r56193 = r56185 * r56192;
        double r56194 = j;
        double r56195 = r56179 * r56194;
        double r56196 = k;
        double r56197 = r56182 * r56196;
        double r56198 = r56195 - r56197;
        double r56199 = y0;
        double r56200 = r56199 * r56187;
        double r56201 = y1;
        double r56202 = r56201 * r56190;
        double r56203 = r56200 - r56202;
        double r56204 = r56198 * r56203;
        double r56205 = r56193 - r56204;
        double r56206 = y2;
        double r56207 = r56179 * r56206;
        double r56208 = y3;
        double r56209 = r56182 * r56208;
        double r56210 = r56207 - r56209;
        double r56211 = r56199 * r56189;
        double r56212 = r56201 * r56186;
        double r56213 = r56211 - r56212;
        double r56214 = r56210 * r56213;
        double r56215 = r56205 + r56214;
        double r56216 = r56183 * r56194;
        double r56217 = r56180 * r56196;
        double r56218 = r56216 - r56217;
        double r56219 = y4;
        double r56220 = r56219 * r56187;
        double r56221 = y5;
        double r56222 = r56221 * r56190;
        double r56223 = r56220 - r56222;
        double r56224 = r56218 * r56223;
        double r56225 = r56215 + r56224;
        double r56226 = r56183 * r56206;
        double r56227 = r56180 * r56208;
        double r56228 = r56226 - r56227;
        double r56229 = r56219 * r56189;
        double r56230 = r56221 * r56186;
        double r56231 = r56229 - r56230;
        double r56232 = r56228 * r56231;
        double r56233 = r56225 - r56232;
        double r56234 = r56196 * r56206;
        double r56235 = r56194 * r56208;
        double r56236 = r56234 - r56235;
        double r56237 = r56219 * r56201;
        double r56238 = r56221 * r56199;
        double r56239 = r56237 - r56238;
        double r56240 = r56236 * r56239;
        double r56241 = r56233 + r56240;
        return r56241;
}

Reproduce

Please include this information when filing a bug report:

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