\[\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 r75465 = x;
        double r75466 = y;
        double r75467 = r75465 * r75466;
        double r75468 = z;
        double r75469 = t;
        double r75470 = r75468 * r75469;
        double r75471 = r75467 - r75470;
        double r75472 = a;
        double r75473 = b;
        double r75474 = r75472 * r75473;
        double r75475 = c;
        double r75476 = i;
        double r75477 = r75475 * r75476;
        double r75478 = r75474 - r75477;
        double r75479 = r75471 * r75478;
        double r75480 = j;
        double r75481 = r75465 * r75480;
        double r75482 = k;
        double r75483 = r75468 * r75482;
        double r75484 = r75481 - r75483;
        double r75485 = y0;
        double r75486 = r75485 * r75473;
        double r75487 = y1;
        double r75488 = r75487 * r75476;
        double r75489 = r75486 - r75488;
        double r75490 = r75484 * r75489;
        double r75491 = r75479 - r75490;
        double r75492 = y2;
        double r75493 = r75465 * r75492;
        double r75494 = y3;
        double r75495 = r75468 * r75494;
        double r75496 = r75493 - r75495;
        double r75497 = r75485 * r75475;
        double r75498 = r75487 * r75472;
        double r75499 = r75497 - r75498;
        double r75500 = r75496 * r75499;
        double r75501 = r75491 + r75500;
        double r75502 = r75469 * r75480;
        double r75503 = r75466 * r75482;
        double r75504 = r75502 - r75503;
        double r75505 = y4;
        double r75506 = r75505 * r75473;
        double r75507 = y5;
        double r75508 = r75507 * r75476;
        double r75509 = r75506 - r75508;
        double r75510 = r75504 * r75509;
        double r75511 = r75501 + r75510;
        double r75512 = r75469 * r75492;
        double r75513 = r75466 * r75494;
        double r75514 = r75512 - r75513;
        double r75515 = r75505 * r75475;
        double r75516 = r75507 * r75472;
        double r75517 = r75515 - r75516;
        double r75518 = r75514 * r75517;
        double r75519 = r75511 - r75518;
        double r75520 = r75482 * r75492;
        double r75521 = r75480 * r75494;
        double r75522 = r75520 - r75521;
        double r75523 = r75505 * r75487;
        double r75524 = r75507 * r75485;
        double r75525 = r75523 - r75524;
        double r75526 = r75522 * r75525;
        double r75527 = r75519 + r75526;
        return r75527;
}

Reproduce

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