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 r4284067 = x;
        double r4284068 = y;
        double r4284069 = r4284067 * r4284068;
        double r4284070 = z;
        double r4284071 = t;
        double r4284072 = r4284070 * r4284071;
        double r4284073 = r4284069 - r4284072;
        double r4284074 = a;
        double r4284075 = b;
        double r4284076 = r4284074 * r4284075;
        double r4284077 = c;
        double r4284078 = i;
        double r4284079 = r4284077 * r4284078;
        double r4284080 = r4284076 - r4284079;
        double r4284081 = r4284073 * r4284080;
        double r4284082 = j;
        double r4284083 = r4284067 * r4284082;
        double r4284084 = k;
        double r4284085 = r4284070 * r4284084;
        double r4284086 = r4284083 - r4284085;
        double r4284087 = y0;
        double r4284088 = r4284087 * r4284075;
        double r4284089 = y1;
        double r4284090 = r4284089 * r4284078;
        double r4284091 = r4284088 - r4284090;
        double r4284092 = r4284086 * r4284091;
        double r4284093 = r4284081 - r4284092;
        double r4284094 = y2;
        double r4284095 = r4284067 * r4284094;
        double r4284096 = y3;
        double r4284097 = r4284070 * r4284096;
        double r4284098 = r4284095 - r4284097;
        double r4284099 = r4284087 * r4284077;
        double r4284100 = r4284089 * r4284074;
        double r4284101 = r4284099 - r4284100;
        double r4284102 = r4284098 * r4284101;
        double r4284103 = r4284093 + r4284102;
        double r4284104 = r4284071 * r4284082;
        double r4284105 = r4284068 * r4284084;
        double r4284106 = r4284104 - r4284105;
        double r4284107 = y4;
        double r4284108 = r4284107 * r4284075;
        double r4284109 = y5;
        double r4284110 = r4284109 * r4284078;
        double r4284111 = r4284108 - r4284110;
        double r4284112 = r4284106 * r4284111;
        double r4284113 = r4284103 + r4284112;
        double r4284114 = r4284071 * r4284094;
        double r4284115 = r4284068 * r4284096;
        double r4284116 = r4284114 - r4284115;
        double r4284117 = r4284107 * r4284077;
        double r4284118 = r4284109 * r4284074;
        double r4284119 = r4284117 - r4284118;
        double r4284120 = r4284116 * r4284119;
        double r4284121 = r4284113 - r4284120;
        double r4284122 = r4284084 * r4284094;
        double r4284123 = r4284082 * r4284096;
        double r4284124 = r4284122 - r4284123;
        double r4284125 = r4284107 * r4284089;
        double r4284126 = r4284109 * r4284087;
        double r4284127 = r4284125 - r4284126;
        double r4284128 = r4284124 * r4284127;
        double r4284129 = r4284121 + r4284128;
        return r4284129;
}

Reproduce

herbie shell --seed 2019152 +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"
  (+ (- (+ (+ (- (* (- (* 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)))))