Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\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 r101908 = x;
        double r101909 = y;
        double r101910 = r101908 * r101909;
        double r101911 = z;
        double r101912 = t;
        double r101913 = r101911 * r101912;
        double r101914 = r101910 - r101913;
        double r101915 = a;
        double r101916 = b;
        double r101917 = r101915 * r101916;
        double r101918 = c;
        double r101919 = i;
        double r101920 = r101918 * r101919;
        double r101921 = r101917 - r101920;
        double r101922 = r101914 * r101921;
        double r101923 = j;
        double r101924 = r101908 * r101923;
        double r101925 = k;
        double r101926 = r101911 * r101925;
        double r101927 = r101924 - r101926;
        double r101928 = y0;
        double r101929 = r101928 * r101916;
        double r101930 = y1;
        double r101931 = r101930 * r101919;
        double r101932 = r101929 - r101931;
        double r101933 = r101927 * r101932;
        double r101934 = r101922 - r101933;
        double r101935 = y2;
        double r101936 = r101908 * r101935;
        double r101937 = y3;
        double r101938 = r101911 * r101937;
        double r101939 = r101936 - r101938;
        double r101940 = r101928 * r101918;
        double r101941 = r101930 * r101915;
        double r101942 = r101940 - r101941;
        double r101943 = r101939 * r101942;
        double r101944 = r101934 + r101943;
        double r101945 = r101912 * r101923;
        double r101946 = r101909 * r101925;
        double r101947 = r101945 - r101946;
        double r101948 = y4;
        double r101949 = r101948 * r101916;
        double r101950 = y5;
        double r101951 = r101950 * r101919;
        double r101952 = r101949 - r101951;
        double r101953 = r101947 * r101952;
        double r101954 = r101944 + r101953;
        double r101955 = r101912 * r101935;
        double r101956 = r101909 * r101937;
        double r101957 = r101955 - r101956;
        double r101958 = r101948 * r101918;
        double r101959 = r101950 * r101915;
        double r101960 = r101958 - r101959;
        double r101961 = r101957 * r101960;
        double r101962 = r101954 - r101961;
        double r101963 = r101925 * r101935;
        double r101964 = r101923 * r101937;
        double r101965 = r101963 - r101964;
        double r101966 = r101948 * r101930;
        double r101967 = r101950 * r101928;
        double r101968 = r101966 - r101967;
        double r101969 = r101965 * r101968;
        double r101970 = r101962 + r101969;
        return r101970;
}

Reproduce

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