\[\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 r376 = x;
        double r377 = y;
        double r378 = r376 * r377;
        double r379 = z;
        double r380 = t;
        double r381 = r379 * r380;
        double r382 = r378 - r381;
        double r383 = a;
        double r384 = b;
        double r385 = r383 * r384;
        double r386 = c;
        double r387 = i;
        double r388 = r386 * r387;
        double r389 = r385 - r388;
        double r390 = r382 * r389;
        double r391 = j;
        double r392 = r376 * r391;
        double r393 = k;
        double r394 = r379 * r393;
        double r395 = r392 - r394;
        double r396 = y0;
        double r397 = r396 * r384;
        double r398 = y1;
        double r399 = r398 * r387;
        double r400 = r397 - r399;
        double r401 = r395 * r400;
        double r402 = r390 - r401;
        double r403 = y2;
        double r404 = r376 * r403;
        double r405 = y3;
        double r406 = r379 * r405;
        double r407 = r404 - r406;
        double r408 = r396 * r386;
        double r409 = r398 * r383;
        double r410 = r408 - r409;
        double r411 = r407 * r410;
        double r412 = r402 + r411;
        double r413 = r380 * r391;
        double r414 = r377 * r393;
        double r415 = r413 - r414;
        double r416 = y4;
        double r417 = r416 * r384;
        double r418 = y5;
        double r419 = r418 * r387;
        double r420 = r417 - r419;
        double r421 = r415 * r420;
        double r422 = r412 + r421;
        double r423 = r380 * r403;
        double r424 = r377 * r405;
        double r425 = r423 - r424;
        double r426 = r416 * r386;
        double r427 = r418 * r383;
        double r428 = r426 - r427;
        double r429 = r425 * r428;
        double r430 = r422 - r429;
        double r431 = r393 * r403;
        double r432 = r391 * r405;
        double r433 = r431 - r432;
        double r434 = r416 * r398;
        double r435 = r418 * r396;
        double r436 = r434 - r435;
        double r437 = r433 * r436;
        double r438 = r430 + r437;
        return r438;
}

Reproduce

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