\[\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 r94477 = x;
        double r94478 = y;
        double r94479 = r94477 * r94478;
        double r94480 = z;
        double r94481 = t;
        double r94482 = r94480 * r94481;
        double r94483 = r94479 - r94482;
        double r94484 = a;
        double r94485 = b;
        double r94486 = r94484 * r94485;
        double r94487 = c;
        double r94488 = i;
        double r94489 = r94487 * r94488;
        double r94490 = r94486 - r94489;
        double r94491 = r94483 * r94490;
        double r94492 = j;
        double r94493 = r94477 * r94492;
        double r94494 = k;
        double r94495 = r94480 * r94494;
        double r94496 = r94493 - r94495;
        double r94497 = y0;
        double r94498 = r94497 * r94485;
        double r94499 = y1;
        double r94500 = r94499 * r94488;
        double r94501 = r94498 - r94500;
        double r94502 = r94496 * r94501;
        double r94503 = r94491 - r94502;
        double r94504 = y2;
        double r94505 = r94477 * r94504;
        double r94506 = y3;
        double r94507 = r94480 * r94506;
        double r94508 = r94505 - r94507;
        double r94509 = r94497 * r94487;
        double r94510 = r94499 * r94484;
        double r94511 = r94509 - r94510;
        double r94512 = r94508 * r94511;
        double r94513 = r94503 + r94512;
        double r94514 = r94481 * r94492;
        double r94515 = r94478 * r94494;
        double r94516 = r94514 - r94515;
        double r94517 = y4;
        double r94518 = r94517 * r94485;
        double r94519 = y5;
        double r94520 = r94519 * r94488;
        double r94521 = r94518 - r94520;
        double r94522 = r94516 * r94521;
        double r94523 = r94513 + r94522;
        double r94524 = r94481 * r94504;
        double r94525 = r94478 * r94506;
        double r94526 = r94524 - r94525;
        double r94527 = r94517 * r94487;
        double r94528 = r94519 * r94484;
        double r94529 = r94527 - r94528;
        double r94530 = r94526 * r94529;
        double r94531 = r94523 - r94530;
        double r94532 = r94494 * r94504;
        double r94533 = r94492 * r94506;
        double r94534 = r94532 - r94533;
        double r94535 = r94517 * r94499;
        double r94536 = r94519 * r94497;
        double r94537 = r94535 - r94536;
        double r94538 = r94534 * r94537;
        double r94539 = r94531 + r94538;
        return r94539;
}

Reproduce

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