\[\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 r90713 = x;
        double r90714 = y;
        double r90715 = r90713 * r90714;
        double r90716 = z;
        double r90717 = t;
        double r90718 = r90716 * r90717;
        double r90719 = r90715 - r90718;
        double r90720 = a;
        double r90721 = b;
        double r90722 = r90720 * r90721;
        double r90723 = c;
        double r90724 = i;
        double r90725 = r90723 * r90724;
        double r90726 = r90722 - r90725;
        double r90727 = r90719 * r90726;
        double r90728 = j;
        double r90729 = r90713 * r90728;
        double r90730 = k;
        double r90731 = r90716 * r90730;
        double r90732 = r90729 - r90731;
        double r90733 = y0;
        double r90734 = r90733 * r90721;
        double r90735 = y1;
        double r90736 = r90735 * r90724;
        double r90737 = r90734 - r90736;
        double r90738 = r90732 * r90737;
        double r90739 = r90727 - r90738;
        double r90740 = y2;
        double r90741 = r90713 * r90740;
        double r90742 = y3;
        double r90743 = r90716 * r90742;
        double r90744 = r90741 - r90743;
        double r90745 = r90733 * r90723;
        double r90746 = r90735 * r90720;
        double r90747 = r90745 - r90746;
        double r90748 = r90744 * r90747;
        double r90749 = r90739 + r90748;
        double r90750 = r90717 * r90728;
        double r90751 = r90714 * r90730;
        double r90752 = r90750 - r90751;
        double r90753 = y4;
        double r90754 = r90753 * r90721;
        double r90755 = y5;
        double r90756 = r90755 * r90724;
        double r90757 = r90754 - r90756;
        double r90758 = r90752 * r90757;
        double r90759 = r90749 + r90758;
        double r90760 = r90717 * r90740;
        double r90761 = r90714 * r90742;
        double r90762 = r90760 - r90761;
        double r90763 = r90753 * r90723;
        double r90764 = r90755 * r90720;
        double r90765 = r90763 - r90764;
        double r90766 = r90762 * r90765;
        double r90767 = r90759 - r90766;
        double r90768 = r90730 * r90740;
        double r90769 = r90728 * r90742;
        double r90770 = r90768 - r90769;
        double r90771 = r90753 * r90735;
        double r90772 = r90755 * r90733;
        double r90773 = r90771 - r90772;
        double r90774 = r90770 * r90773;
        double r90775 = r90767 + r90774;
        return r90775;
}

Reproduce

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