\[\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 r58369 = x;
        double r58370 = y;
        double r58371 = r58369 * r58370;
        double r58372 = z;
        double r58373 = t;
        double r58374 = r58372 * r58373;
        double r58375 = r58371 - r58374;
        double r58376 = a;
        double r58377 = b;
        double r58378 = r58376 * r58377;
        double r58379 = c;
        double r58380 = i;
        double r58381 = r58379 * r58380;
        double r58382 = r58378 - r58381;
        double r58383 = r58375 * r58382;
        double r58384 = j;
        double r58385 = r58369 * r58384;
        double r58386 = k;
        double r58387 = r58372 * r58386;
        double r58388 = r58385 - r58387;
        double r58389 = y0;
        double r58390 = r58389 * r58377;
        double r58391 = y1;
        double r58392 = r58391 * r58380;
        double r58393 = r58390 - r58392;
        double r58394 = r58388 * r58393;
        double r58395 = r58383 - r58394;
        double r58396 = y2;
        double r58397 = r58369 * r58396;
        double r58398 = y3;
        double r58399 = r58372 * r58398;
        double r58400 = r58397 - r58399;
        double r58401 = r58389 * r58379;
        double r58402 = r58391 * r58376;
        double r58403 = r58401 - r58402;
        double r58404 = r58400 * r58403;
        double r58405 = r58395 + r58404;
        double r58406 = r58373 * r58384;
        double r58407 = r58370 * r58386;
        double r58408 = r58406 - r58407;
        double r58409 = y4;
        double r58410 = r58409 * r58377;
        double r58411 = y5;
        double r58412 = r58411 * r58380;
        double r58413 = r58410 - r58412;
        double r58414 = r58408 * r58413;
        double r58415 = r58405 + r58414;
        double r58416 = r58373 * r58396;
        double r58417 = r58370 * r58398;
        double r58418 = r58416 - r58417;
        double r58419 = r58409 * r58379;
        double r58420 = r58411 * r58376;
        double r58421 = r58419 - r58420;
        double r58422 = r58418 * r58421;
        double r58423 = r58415 - r58422;
        double r58424 = r58386 * r58396;
        double r58425 = r58384 * r58398;
        double r58426 = r58424 - r58425;
        double r58427 = r58409 * r58391;
        double r58428 = r58411 * r58389;
        double r58429 = r58427 - r58428;
        double r58430 = r58426 * r58429;
        double r58431 = r58423 + r58430;
        return r58431;
}

Reproduce

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