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

Reproduce

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