\[\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 r8447 = x;
        double r8448 = y;
        double r8449 = r8447 * r8448;
        double r8450 = z;
        double r8451 = t;
        double r8452 = r8450 * r8451;
        double r8453 = r8449 - r8452;
        double r8454 = a;
        double r8455 = b;
        double r8456 = r8454 * r8455;
        double r8457 = c;
        double r8458 = i;
        double r8459 = r8457 * r8458;
        double r8460 = r8456 - r8459;
        double r8461 = r8453 * r8460;
        double r8462 = j;
        double r8463 = r8447 * r8462;
        double r8464 = k;
        double r8465 = r8450 * r8464;
        double r8466 = r8463 - r8465;
        double r8467 = y0;
        double r8468 = r8467 * r8455;
        double r8469 = y1;
        double r8470 = r8469 * r8458;
        double r8471 = r8468 - r8470;
        double r8472 = r8466 * r8471;
        double r8473 = r8461 - r8472;
        double r8474 = y2;
        double r8475 = r8447 * r8474;
        double r8476 = y3;
        double r8477 = r8450 * r8476;
        double r8478 = r8475 - r8477;
        double r8479 = r8467 * r8457;
        double r8480 = r8469 * r8454;
        double r8481 = r8479 - r8480;
        double r8482 = r8478 * r8481;
        double r8483 = r8473 + r8482;
        double r8484 = r8451 * r8462;
        double r8485 = r8448 * r8464;
        double r8486 = r8484 - r8485;
        double r8487 = y4;
        double r8488 = r8487 * r8455;
        double r8489 = y5;
        double r8490 = r8489 * r8458;
        double r8491 = r8488 - r8490;
        double r8492 = r8486 * r8491;
        double r8493 = r8483 + r8492;
        double r8494 = r8451 * r8474;
        double r8495 = r8448 * r8476;
        double r8496 = r8494 - r8495;
        double r8497 = r8487 * r8457;
        double r8498 = r8489 * r8454;
        double r8499 = r8497 - r8498;
        double r8500 = r8496 * r8499;
        double r8501 = r8493 - r8500;
        double r8502 = r8464 * r8474;
        double r8503 = r8462 * r8476;
        double r8504 = r8502 - r8503;
        double r8505 = r8487 * r8469;
        double r8506 = r8489 * r8467;
        double r8507 = r8505 - r8506;
        double r8508 = r8504 * r8507;
        double r8509 = r8501 + r8508;
        return r8509;
}

Reproduce

Please include this information when filing a bug report:

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