\[\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 r56606 = x;
        double r56607 = y;
        double r56608 = r56606 * r56607;
        double r56609 = z;
        double r56610 = t;
        double r56611 = r56609 * r56610;
        double r56612 = r56608 - r56611;
        double r56613 = a;
        double r56614 = b;
        double r56615 = r56613 * r56614;
        double r56616 = c;
        double r56617 = i;
        double r56618 = r56616 * r56617;
        double r56619 = r56615 - r56618;
        double r56620 = r56612 * r56619;
        double r56621 = j;
        double r56622 = r56606 * r56621;
        double r56623 = k;
        double r56624 = r56609 * r56623;
        double r56625 = r56622 - r56624;
        double r56626 = y0;
        double r56627 = r56626 * r56614;
        double r56628 = y1;
        double r56629 = r56628 * r56617;
        double r56630 = r56627 - r56629;
        double r56631 = r56625 * r56630;
        double r56632 = r56620 - r56631;
        double r56633 = y2;
        double r56634 = r56606 * r56633;
        double r56635 = y3;
        double r56636 = r56609 * r56635;
        double r56637 = r56634 - r56636;
        double r56638 = r56626 * r56616;
        double r56639 = r56628 * r56613;
        double r56640 = r56638 - r56639;
        double r56641 = r56637 * r56640;
        double r56642 = r56632 + r56641;
        double r56643 = r56610 * r56621;
        double r56644 = r56607 * r56623;
        double r56645 = r56643 - r56644;
        double r56646 = y4;
        double r56647 = r56646 * r56614;
        double r56648 = y5;
        double r56649 = r56648 * r56617;
        double r56650 = r56647 - r56649;
        double r56651 = r56645 * r56650;
        double r56652 = r56642 + r56651;
        double r56653 = r56610 * r56633;
        double r56654 = r56607 * r56635;
        double r56655 = r56653 - r56654;
        double r56656 = r56646 * r56616;
        double r56657 = r56648 * r56613;
        double r56658 = r56656 - r56657;
        double r56659 = r56655 * r56658;
        double r56660 = r56652 - r56659;
        double r56661 = r56623 * r56633;
        double r56662 = r56621 * r56635;
        double r56663 = r56661 - r56662;
        double r56664 = r56646 * r56628;
        double r56665 = r56648 * r56626;
        double r56666 = r56664 - r56665;
        double r56667 = r56663 * r56666;
        double r56668 = r56660 + r56667;
        return r56668;
}

Reproduce

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