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 r144026 = x;
        double r144027 = y;
        double r144028 = r144026 * r144027;
        double r144029 = z;
        double r144030 = t;
        double r144031 = r144029 * r144030;
        double r144032 = r144028 - r144031;
        double r144033 = a;
        double r144034 = b;
        double r144035 = r144033 * r144034;
        double r144036 = c;
        double r144037 = i;
        double r144038 = r144036 * r144037;
        double r144039 = r144035 - r144038;
        double r144040 = r144032 * r144039;
        double r144041 = j;
        double r144042 = r144026 * r144041;
        double r144043 = k;
        double r144044 = r144029 * r144043;
        double r144045 = r144042 - r144044;
        double r144046 = y0;
        double r144047 = r144046 * r144034;
        double r144048 = y1;
        double r144049 = r144048 * r144037;
        double r144050 = r144047 - r144049;
        double r144051 = r144045 * r144050;
        double r144052 = r144040 - r144051;
        double r144053 = y2;
        double r144054 = r144026 * r144053;
        double r144055 = y3;
        double r144056 = r144029 * r144055;
        double r144057 = r144054 - r144056;
        double r144058 = r144046 * r144036;
        double r144059 = r144048 * r144033;
        double r144060 = r144058 - r144059;
        double r144061 = r144057 * r144060;
        double r144062 = r144052 + r144061;
        double r144063 = r144030 * r144041;
        double r144064 = r144027 * r144043;
        double r144065 = r144063 - r144064;
        double r144066 = y4;
        double r144067 = r144066 * r144034;
        double r144068 = y5;
        double r144069 = r144068 * r144037;
        double r144070 = r144067 - r144069;
        double r144071 = r144065 * r144070;
        double r144072 = r144062 + r144071;
        double r144073 = r144030 * r144053;
        double r144074 = r144027 * r144055;
        double r144075 = r144073 - r144074;
        double r144076 = r144066 * r144036;
        double r144077 = r144068 * r144033;
        double r144078 = r144076 - r144077;
        double r144079 = r144075 * r144078;
        double r144080 = r144072 - r144079;
        double r144081 = r144043 * r144053;
        double r144082 = r144041 * r144055;
        double r144083 = r144081 - r144082;
        double r144084 = r144066 * r144048;
        double r144085 = r144068 * r144046;
        double r144086 = r144084 - r144085;
        double r144087 = r144083 * r144086;
        double r144088 = r144080 + r144087;
        return r144088;
}

Reproduce

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