\[\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 r74901 = x;
        double r74902 = y;
        double r74903 = r74901 * r74902;
        double r74904 = z;
        double r74905 = t;
        double r74906 = r74904 * r74905;
        double r74907 = r74903 - r74906;
        double r74908 = a;
        double r74909 = b;
        double r74910 = r74908 * r74909;
        double r74911 = c;
        double r74912 = i;
        double r74913 = r74911 * r74912;
        double r74914 = r74910 - r74913;
        double r74915 = r74907 * r74914;
        double r74916 = j;
        double r74917 = r74901 * r74916;
        double r74918 = k;
        double r74919 = r74904 * r74918;
        double r74920 = r74917 - r74919;
        double r74921 = y0;
        double r74922 = r74921 * r74909;
        double r74923 = y1;
        double r74924 = r74923 * r74912;
        double r74925 = r74922 - r74924;
        double r74926 = r74920 * r74925;
        double r74927 = r74915 - r74926;
        double r74928 = y2;
        double r74929 = r74901 * r74928;
        double r74930 = y3;
        double r74931 = r74904 * r74930;
        double r74932 = r74929 - r74931;
        double r74933 = r74921 * r74911;
        double r74934 = r74923 * r74908;
        double r74935 = r74933 - r74934;
        double r74936 = r74932 * r74935;
        double r74937 = r74927 + r74936;
        double r74938 = r74905 * r74916;
        double r74939 = r74902 * r74918;
        double r74940 = r74938 - r74939;
        double r74941 = y4;
        double r74942 = r74941 * r74909;
        double r74943 = y5;
        double r74944 = r74943 * r74912;
        double r74945 = r74942 - r74944;
        double r74946 = r74940 * r74945;
        double r74947 = r74937 + r74946;
        double r74948 = r74905 * r74928;
        double r74949 = r74902 * r74930;
        double r74950 = r74948 - r74949;
        double r74951 = r74941 * r74911;
        double r74952 = r74943 * r74908;
        double r74953 = r74951 - r74952;
        double r74954 = r74950 * r74953;
        double r74955 = r74947 - r74954;
        double r74956 = r74918 * r74928;
        double r74957 = r74916 * r74930;
        double r74958 = r74956 - r74957;
        double r74959 = r74941 * r74923;
        double r74960 = r74943 * r74921;
        double r74961 = r74959 - r74960;
        double r74962 = r74958 * r74961;
        double r74963 = r74955 + r74962;
        return r74963;
}

Reproduce

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