\[\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 r8416 = x;
        double r8417 = y;
        double r8418 = r8416 * r8417;
        double r8419 = z;
        double r8420 = t;
        double r8421 = r8419 * r8420;
        double r8422 = r8418 - r8421;
        double r8423 = a;
        double r8424 = b;
        double r8425 = r8423 * r8424;
        double r8426 = c;
        double r8427 = i;
        double r8428 = r8426 * r8427;
        double r8429 = r8425 - r8428;
        double r8430 = r8422 * r8429;
        double r8431 = j;
        double r8432 = r8416 * r8431;
        double r8433 = k;
        double r8434 = r8419 * r8433;
        double r8435 = r8432 - r8434;
        double r8436 = y0;
        double r8437 = r8436 * r8424;
        double r8438 = y1;
        double r8439 = r8438 * r8427;
        double r8440 = r8437 - r8439;
        double r8441 = r8435 * r8440;
        double r8442 = r8430 - r8441;
        double r8443 = y2;
        double r8444 = r8416 * r8443;
        double r8445 = y3;
        double r8446 = r8419 * r8445;
        double r8447 = r8444 - r8446;
        double r8448 = r8436 * r8426;
        double r8449 = r8438 * r8423;
        double r8450 = r8448 - r8449;
        double r8451 = r8447 * r8450;
        double r8452 = r8442 + r8451;
        double r8453 = r8420 * r8431;
        double r8454 = r8417 * r8433;
        double r8455 = r8453 - r8454;
        double r8456 = y4;
        double r8457 = r8456 * r8424;
        double r8458 = y5;
        double r8459 = r8458 * r8427;
        double r8460 = r8457 - r8459;
        double r8461 = r8455 * r8460;
        double r8462 = r8452 + r8461;
        double r8463 = r8420 * r8443;
        double r8464 = r8417 * r8445;
        double r8465 = r8463 - r8464;
        double r8466 = r8456 * r8426;
        double r8467 = r8458 * r8423;
        double r8468 = r8466 - r8467;
        double r8469 = r8465 * r8468;
        double r8470 = r8462 - r8469;
        double r8471 = r8433 * r8443;
        double r8472 = r8431 * r8445;
        double r8473 = r8471 - r8472;
        double r8474 = r8456 * r8438;
        double r8475 = r8458 * r8436;
        double r8476 = r8474 - r8475;
        double r8477 = r8473 * r8476;
        double r8478 = r8470 + r8477;
        return r8478;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 +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"
  (+ (- (+ (+ (- (* (- (* 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

get-representation: Unknown representation #f		L	C
loop	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	122	4
prepare-points	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	146	0
setup-prog!34	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	67	0
run-improve43	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	339	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28