\[\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 r98401 = x;
        double r98402 = y;
        double r98403 = r98401 * r98402;
        double r98404 = z;
        double r98405 = t;
        double r98406 = r98404 * r98405;
        double r98407 = r98403 - r98406;
        double r98408 = a;
        double r98409 = b;
        double r98410 = r98408 * r98409;
        double r98411 = c;
        double r98412 = i;
        double r98413 = r98411 * r98412;
        double r98414 = r98410 - r98413;
        double r98415 = r98407 * r98414;
        double r98416 = j;
        double r98417 = r98401 * r98416;
        double r98418 = k;
        double r98419 = r98404 * r98418;
        double r98420 = r98417 - r98419;
        double r98421 = y0;
        double r98422 = r98421 * r98409;
        double r98423 = y1;
        double r98424 = r98423 * r98412;
        double r98425 = r98422 - r98424;
        double r98426 = r98420 * r98425;
        double r98427 = r98415 - r98426;
        double r98428 = y2;
        double r98429 = r98401 * r98428;
        double r98430 = y3;
        double r98431 = r98404 * r98430;
        double r98432 = r98429 - r98431;
        double r98433 = r98421 * r98411;
        double r98434 = r98423 * r98408;
        double r98435 = r98433 - r98434;
        double r98436 = r98432 * r98435;
        double r98437 = r98427 + r98436;
        double r98438 = r98405 * r98416;
        double r98439 = r98402 * r98418;
        double r98440 = r98438 - r98439;
        double r98441 = y4;
        double r98442 = r98441 * r98409;
        double r98443 = y5;
        double r98444 = r98443 * r98412;
        double r98445 = r98442 - r98444;
        double r98446 = r98440 * r98445;
        double r98447 = r98437 + r98446;
        double r98448 = r98405 * r98428;
        double r98449 = r98402 * r98430;
        double r98450 = r98448 - r98449;
        double r98451 = r98441 * r98411;
        double r98452 = r98443 * r98408;
        double r98453 = r98451 - r98452;
        double r98454 = r98450 * r98453;
        double r98455 = r98447 - r98454;
        double r98456 = r98418 * r98428;
        double r98457 = r98416 * r98430;
        double r98458 = r98456 - r98457;
        double r98459 = r98441 * r98423;
        double r98460 = r98443 * r98421;
        double r98461 = r98459 - r98460;
        double r98462 = r98458 * r98461;
        double r98463 = r98455 + r98462;
        return r98463;
}

Reproduce

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