\[\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 r21584 = x;
        double r21585 = y;
        double r21586 = r21584 * r21585;
        double r21587 = z;
        double r21588 = t;
        double r21589 = r21587 * r21588;
        double r21590 = r21586 - r21589;
        double r21591 = a;
        double r21592 = b;
        double r21593 = r21591 * r21592;
        double r21594 = c;
        double r21595 = i;
        double r21596 = r21594 * r21595;
        double r21597 = r21593 - r21596;
        double r21598 = r21590 * r21597;
        double r21599 = j;
        double r21600 = r21584 * r21599;
        double r21601 = k;
        double r21602 = r21587 * r21601;
        double r21603 = r21600 - r21602;
        double r21604 = y0;
        double r21605 = r21604 * r21592;
        double r21606 = y1;
        double r21607 = r21606 * r21595;
        double r21608 = r21605 - r21607;
        double r21609 = r21603 * r21608;
        double r21610 = r21598 - r21609;
        double r21611 = y2;
        double r21612 = r21584 * r21611;
        double r21613 = y3;
        double r21614 = r21587 * r21613;
        double r21615 = r21612 - r21614;
        double r21616 = r21604 * r21594;
        double r21617 = r21606 * r21591;
        double r21618 = r21616 - r21617;
        double r21619 = r21615 * r21618;
        double r21620 = r21610 + r21619;
        double r21621 = r21588 * r21599;
        double r21622 = r21585 * r21601;
        double r21623 = r21621 - r21622;
        double r21624 = y4;
        double r21625 = r21624 * r21592;
        double r21626 = y5;
        double r21627 = r21626 * r21595;
        double r21628 = r21625 - r21627;
        double r21629 = r21623 * r21628;
        double r21630 = r21620 + r21629;
        double r21631 = r21588 * r21611;
        double r21632 = r21585 * r21613;
        double r21633 = r21631 - r21632;
        double r21634 = r21624 * r21594;
        double r21635 = r21626 * r21591;
        double r21636 = r21634 - r21635;
        double r21637 = r21633 * r21636;
        double r21638 = r21630 - r21637;
        double r21639 = r21601 * r21611;
        double r21640 = r21599 * r21613;
        double r21641 = r21639 - r21640;
        double r21642 = r21624 * r21606;
        double r21643 = r21626 * r21604;
        double r21644 = r21642 - r21643;
        double r21645 = r21641 * r21644;
        double r21646 = r21638 + r21645;
        return r21646;
}

Reproduce

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