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 r108037 = x;
        double r108038 = y;
        double r108039 = r108037 * r108038;
        double r108040 = z;
        double r108041 = t;
        double r108042 = r108040 * r108041;
        double r108043 = r108039 - r108042;
        double r108044 = a;
        double r108045 = b;
        double r108046 = r108044 * r108045;
        double r108047 = c;
        double r108048 = i;
        double r108049 = r108047 * r108048;
        double r108050 = r108046 - r108049;
        double r108051 = r108043 * r108050;
        double r108052 = j;
        double r108053 = r108037 * r108052;
        double r108054 = k;
        double r108055 = r108040 * r108054;
        double r108056 = r108053 - r108055;
        double r108057 = y0;
        double r108058 = r108057 * r108045;
        double r108059 = y1;
        double r108060 = r108059 * r108048;
        double r108061 = r108058 - r108060;
        double r108062 = r108056 * r108061;
        double r108063 = r108051 - r108062;
        double r108064 = y2;
        double r108065 = r108037 * r108064;
        double r108066 = y3;
        double r108067 = r108040 * r108066;
        double r108068 = r108065 - r108067;
        double r108069 = r108057 * r108047;
        double r108070 = r108059 * r108044;
        double r108071 = r108069 - r108070;
        double r108072 = r108068 * r108071;
        double r108073 = r108063 + r108072;
        double r108074 = r108041 * r108052;
        double r108075 = r108038 * r108054;
        double r108076 = r108074 - r108075;
        double r108077 = y4;
        double r108078 = r108077 * r108045;
        double r108079 = y5;
        double r108080 = r108079 * r108048;
        double r108081 = r108078 - r108080;
        double r108082 = r108076 * r108081;
        double r108083 = r108073 + r108082;
        double r108084 = r108041 * r108064;
        double r108085 = r108038 * r108066;
        double r108086 = r108084 - r108085;
        double r108087 = r108077 * r108047;
        double r108088 = r108079 * r108044;
        double r108089 = r108087 - r108088;
        double r108090 = r108086 * r108089;
        double r108091 = r108083 - r108090;
        double r108092 = r108054 * r108064;
        double r108093 = r108052 * r108066;
        double r108094 = r108092 - r108093;
        double r108095 = r108077 * r108059;
        double r108096 = r108079 * r108057;
        double r108097 = r108095 - r108096;
        double r108098 = r108094 * r108097;
        double r108099 = r108091 + r108098;
        return r108099;
}

Reproduce

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