\[\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 r54349 = x;
        double r54350 = y;
        double r54351 = r54349 * r54350;
        double r54352 = z;
        double r54353 = t;
        double r54354 = r54352 * r54353;
        double r54355 = r54351 - r54354;
        double r54356 = a;
        double r54357 = b;
        double r54358 = r54356 * r54357;
        double r54359 = c;
        double r54360 = i;
        double r54361 = r54359 * r54360;
        double r54362 = r54358 - r54361;
        double r54363 = r54355 * r54362;
        double r54364 = j;
        double r54365 = r54349 * r54364;
        double r54366 = k;
        double r54367 = r54352 * r54366;
        double r54368 = r54365 - r54367;
        double r54369 = y0;
        double r54370 = r54369 * r54357;
        double r54371 = y1;
        double r54372 = r54371 * r54360;
        double r54373 = r54370 - r54372;
        double r54374 = r54368 * r54373;
        double r54375 = r54363 - r54374;
        double r54376 = y2;
        double r54377 = r54349 * r54376;
        double r54378 = y3;
        double r54379 = r54352 * r54378;
        double r54380 = r54377 - r54379;
        double r54381 = r54369 * r54359;
        double r54382 = r54371 * r54356;
        double r54383 = r54381 - r54382;
        double r54384 = r54380 * r54383;
        double r54385 = r54375 + r54384;
        double r54386 = r54353 * r54364;
        double r54387 = r54350 * r54366;
        double r54388 = r54386 - r54387;
        double r54389 = y4;
        double r54390 = r54389 * r54357;
        double r54391 = y5;
        double r54392 = r54391 * r54360;
        double r54393 = r54390 - r54392;
        double r54394 = r54388 * r54393;
        double r54395 = r54385 + r54394;
        double r54396 = r54353 * r54376;
        double r54397 = r54350 * r54378;
        double r54398 = r54396 - r54397;
        double r54399 = r54389 * r54359;
        double r54400 = r54391 * r54356;
        double r54401 = r54399 - r54400;
        double r54402 = r54398 * r54401;
        double r54403 = r54395 - r54402;
        double r54404 = r54366 * r54376;
        double r54405 = r54364 * r54378;
        double r54406 = r54404 - r54405;
        double r54407 = r54389 * r54371;
        double r54408 = r54391 * r54369;
        double r54409 = r54407 - r54408;
        double r54410 = r54406 * r54409;
        double r54411 = r54403 + r54410;
        return r54411;
}

Reproduce

herbie shell --seed 2019323 +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