\[\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 r62546 = x;
        double r62547 = y;
        double r62548 = r62546 * r62547;
        double r62549 = z;
        double r62550 = t;
        double r62551 = r62549 * r62550;
        double r62552 = r62548 - r62551;
        double r62553 = a;
        double r62554 = b;
        double r62555 = r62553 * r62554;
        double r62556 = c;
        double r62557 = i;
        double r62558 = r62556 * r62557;
        double r62559 = r62555 - r62558;
        double r62560 = r62552 * r62559;
        double r62561 = j;
        double r62562 = r62546 * r62561;
        double r62563 = k;
        double r62564 = r62549 * r62563;
        double r62565 = r62562 - r62564;
        double r62566 = y0;
        double r62567 = r62566 * r62554;
        double r62568 = y1;
        double r62569 = r62568 * r62557;
        double r62570 = r62567 - r62569;
        double r62571 = r62565 * r62570;
        double r62572 = r62560 - r62571;
        double r62573 = y2;
        double r62574 = r62546 * r62573;
        double r62575 = y3;
        double r62576 = r62549 * r62575;
        double r62577 = r62574 - r62576;
        double r62578 = r62566 * r62556;
        double r62579 = r62568 * r62553;
        double r62580 = r62578 - r62579;
        double r62581 = r62577 * r62580;
        double r62582 = r62572 + r62581;
        double r62583 = r62550 * r62561;
        double r62584 = r62547 * r62563;
        double r62585 = r62583 - r62584;
        double r62586 = y4;
        double r62587 = r62586 * r62554;
        double r62588 = y5;
        double r62589 = r62588 * r62557;
        double r62590 = r62587 - r62589;
        double r62591 = r62585 * r62590;
        double r62592 = r62582 + r62591;
        double r62593 = r62550 * r62573;
        double r62594 = r62547 * r62575;
        double r62595 = r62593 - r62594;
        double r62596 = r62586 * r62556;
        double r62597 = r62588 * r62553;
        double r62598 = r62596 - r62597;
        double r62599 = r62595 * r62598;
        double r62600 = r62592 - r62599;
        double r62601 = r62563 * r62573;
        double r62602 = r62561 * r62575;
        double r62603 = r62601 - r62602;
        double r62604 = r62586 * r62568;
        double r62605 = r62588 * r62566;
        double r62606 = r62604 - r62605;
        double r62607 = r62603 * r62606;
        double r62608 = r62600 + r62607;
        return r62608;
}

Reproduce

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