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 r85250 = x;
        double r85251 = y;
        double r85252 = r85250 * r85251;
        double r85253 = z;
        double r85254 = t;
        double r85255 = r85253 * r85254;
        double r85256 = r85252 - r85255;
        double r85257 = a;
        double r85258 = b;
        double r85259 = r85257 * r85258;
        double r85260 = c;
        double r85261 = i;
        double r85262 = r85260 * r85261;
        double r85263 = r85259 - r85262;
        double r85264 = r85256 * r85263;
        double r85265 = j;
        double r85266 = r85250 * r85265;
        double r85267 = k;
        double r85268 = r85253 * r85267;
        double r85269 = r85266 - r85268;
        double r85270 = y0;
        double r85271 = r85270 * r85258;
        double r85272 = y1;
        double r85273 = r85272 * r85261;
        double r85274 = r85271 - r85273;
        double r85275 = r85269 * r85274;
        double r85276 = r85264 - r85275;
        double r85277 = y2;
        double r85278 = r85250 * r85277;
        double r85279 = y3;
        double r85280 = r85253 * r85279;
        double r85281 = r85278 - r85280;
        double r85282 = r85270 * r85260;
        double r85283 = r85272 * r85257;
        double r85284 = r85282 - r85283;
        double r85285 = r85281 * r85284;
        double r85286 = r85276 + r85285;
        double r85287 = r85254 * r85265;
        double r85288 = r85251 * r85267;
        double r85289 = r85287 - r85288;
        double r85290 = y4;
        double r85291 = r85290 * r85258;
        double r85292 = y5;
        double r85293 = r85292 * r85261;
        double r85294 = r85291 - r85293;
        double r85295 = r85289 * r85294;
        double r85296 = r85286 + r85295;
        double r85297 = r85254 * r85277;
        double r85298 = r85251 * r85279;
        double r85299 = r85297 - r85298;
        double r85300 = r85290 * r85260;
        double r85301 = r85292 * r85257;
        double r85302 = r85300 - r85301;
        double r85303 = r85299 * r85302;
        double r85304 = r85296 - r85303;
        double r85305 = r85267 * r85277;
        double r85306 = r85265 * r85279;
        double r85307 = r85305 - r85306;
        double r85308 = r85290 * r85272;
        double r85309 = r85292 * r85270;
        double r85310 = r85308 - r85309;
        double r85311 = r85307 * r85310;
        double r85312 = r85304 + r85311;
        return r85312;
}

Reproduce

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