\[\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 r93384 = x;
        double r93385 = y;
        double r93386 = r93384 * r93385;
        double r93387 = z;
        double r93388 = t;
        double r93389 = r93387 * r93388;
        double r93390 = r93386 - r93389;
        double r93391 = a;
        double r93392 = b;
        double r93393 = r93391 * r93392;
        double r93394 = c;
        double r93395 = i;
        double r93396 = r93394 * r93395;
        double r93397 = r93393 - r93396;
        double r93398 = r93390 * r93397;
        double r93399 = j;
        double r93400 = r93384 * r93399;
        double r93401 = k;
        double r93402 = r93387 * r93401;
        double r93403 = r93400 - r93402;
        double r93404 = y0;
        double r93405 = r93404 * r93392;
        double r93406 = y1;
        double r93407 = r93406 * r93395;
        double r93408 = r93405 - r93407;
        double r93409 = r93403 * r93408;
        double r93410 = r93398 - r93409;
        double r93411 = y2;
        double r93412 = r93384 * r93411;
        double r93413 = y3;
        double r93414 = r93387 * r93413;
        double r93415 = r93412 - r93414;
        double r93416 = r93404 * r93394;
        double r93417 = r93406 * r93391;
        double r93418 = r93416 - r93417;
        double r93419 = r93415 * r93418;
        double r93420 = r93410 + r93419;
        double r93421 = r93388 * r93399;
        double r93422 = r93385 * r93401;
        double r93423 = r93421 - r93422;
        double r93424 = y4;
        double r93425 = r93424 * r93392;
        double r93426 = y5;
        double r93427 = r93426 * r93395;
        double r93428 = r93425 - r93427;
        double r93429 = r93423 * r93428;
        double r93430 = r93420 + r93429;
        double r93431 = r93388 * r93411;
        double r93432 = r93385 * r93413;
        double r93433 = r93431 - r93432;
        double r93434 = r93424 * r93394;
        double r93435 = r93426 * r93391;
        double r93436 = r93434 - r93435;
        double r93437 = r93433 * r93436;
        double r93438 = r93430 - r93437;
        double r93439 = r93401 * r93411;
        double r93440 = r93399 * r93413;
        double r93441 = r93439 - r93440;
        double r93442 = r93424 * r93406;
        double r93443 = r93426 * r93404;
        double r93444 = r93442 - r93443;
        double r93445 = r93441 * r93444;
        double r93446 = r93438 + r93445;
        return r93446;
}

Reproduce

herbie shell --seed 2020083 +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"
  :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)))))

Timeout in 10.0m

Reproduce