\[\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 r79927 = x;
        double r79928 = y;
        double r79929 = r79927 * r79928;
        double r79930 = z;
        double r79931 = t;
        double r79932 = r79930 * r79931;
        double r79933 = r79929 - r79932;
        double r79934 = a;
        double r79935 = b;
        double r79936 = r79934 * r79935;
        double r79937 = c;
        double r79938 = i;
        double r79939 = r79937 * r79938;
        double r79940 = r79936 - r79939;
        double r79941 = r79933 * r79940;
        double r79942 = j;
        double r79943 = r79927 * r79942;
        double r79944 = k;
        double r79945 = r79930 * r79944;
        double r79946 = r79943 - r79945;
        double r79947 = y0;
        double r79948 = r79947 * r79935;
        double r79949 = y1;
        double r79950 = r79949 * r79938;
        double r79951 = r79948 - r79950;
        double r79952 = r79946 * r79951;
        double r79953 = r79941 - r79952;
        double r79954 = y2;
        double r79955 = r79927 * r79954;
        double r79956 = y3;
        double r79957 = r79930 * r79956;
        double r79958 = r79955 - r79957;
        double r79959 = r79947 * r79937;
        double r79960 = r79949 * r79934;
        double r79961 = r79959 - r79960;
        double r79962 = r79958 * r79961;
        double r79963 = r79953 + r79962;
        double r79964 = r79931 * r79942;
        double r79965 = r79928 * r79944;
        double r79966 = r79964 - r79965;
        double r79967 = y4;
        double r79968 = r79967 * r79935;
        double r79969 = y5;
        double r79970 = r79969 * r79938;
        double r79971 = r79968 - r79970;
        double r79972 = r79966 * r79971;
        double r79973 = r79963 + r79972;
        double r79974 = r79931 * r79954;
        double r79975 = r79928 * r79956;
        double r79976 = r79974 - r79975;
        double r79977 = r79967 * r79937;
        double r79978 = r79969 * r79934;
        double r79979 = r79977 - r79978;
        double r79980 = r79976 * r79979;
        double r79981 = r79973 - r79980;
        double r79982 = r79944 * r79954;
        double r79983 = r79942 * r79956;
        double r79984 = r79982 - r79983;
        double r79985 = r79967 * r79949;
        double r79986 = r79969 * r79947;
        double r79987 = r79985 - r79986;
        double r79988 = r79984 * r79987;
        double r79989 = r79981 + r79988;
        return r79989;
}

Reproduce

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