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 r2750034 = x;
        double r2750035 = y;
        double r2750036 = r2750034 * r2750035;
        double r2750037 = z;
        double r2750038 = t;
        double r2750039 = r2750037 * r2750038;
        double r2750040 = r2750036 - r2750039;
        double r2750041 = a;
        double r2750042 = b;
        double r2750043 = r2750041 * r2750042;
        double r2750044 = c;
        double r2750045 = i;
        double r2750046 = r2750044 * r2750045;
        double r2750047 = r2750043 - r2750046;
        double r2750048 = r2750040 * r2750047;
        double r2750049 = j;
        double r2750050 = r2750034 * r2750049;
        double r2750051 = k;
        double r2750052 = r2750037 * r2750051;
        double r2750053 = r2750050 - r2750052;
        double r2750054 = y0;
        double r2750055 = r2750054 * r2750042;
        double r2750056 = y1;
        double r2750057 = r2750056 * r2750045;
        double r2750058 = r2750055 - r2750057;
        double r2750059 = r2750053 * r2750058;
        double r2750060 = r2750048 - r2750059;
        double r2750061 = y2;
        double r2750062 = r2750034 * r2750061;
        double r2750063 = y3;
        double r2750064 = r2750037 * r2750063;
        double r2750065 = r2750062 - r2750064;
        double r2750066 = r2750054 * r2750044;
        double r2750067 = r2750056 * r2750041;
        double r2750068 = r2750066 - r2750067;
        double r2750069 = r2750065 * r2750068;
        double r2750070 = r2750060 + r2750069;
        double r2750071 = r2750038 * r2750049;
        double r2750072 = r2750035 * r2750051;
        double r2750073 = r2750071 - r2750072;
        double r2750074 = y4;
        double r2750075 = r2750074 * r2750042;
        double r2750076 = y5;
        double r2750077 = r2750076 * r2750045;
        double r2750078 = r2750075 - r2750077;
        double r2750079 = r2750073 * r2750078;
        double r2750080 = r2750070 + r2750079;
        double r2750081 = r2750038 * r2750061;
        double r2750082 = r2750035 * r2750063;
        double r2750083 = r2750081 - r2750082;
        double r2750084 = r2750074 * r2750044;
        double r2750085 = r2750076 * r2750041;
        double r2750086 = r2750084 - r2750085;
        double r2750087 = r2750083 * r2750086;
        double r2750088 = r2750080 - r2750087;
        double r2750089 = r2750051 * r2750061;
        double r2750090 = r2750049 * r2750063;
        double r2750091 = r2750089 - r2750090;
        double r2750092 = r2750074 * r2750056;
        double r2750093 = r2750076 * r2750054;
        double r2750094 = r2750092 - r2750093;
        double r2750095 = r2750091 * r2750094;
        double r2750096 = r2750088 + r2750095;
        return r2750096;
}

Reproduce

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