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 r162421 = x;
        double r162422 = y;
        double r162423 = r162421 * r162422;
        double r162424 = z;
        double r162425 = t;
        double r162426 = r162424 * r162425;
        double r162427 = r162423 - r162426;
        double r162428 = a;
        double r162429 = b;
        double r162430 = r162428 * r162429;
        double r162431 = c;
        double r162432 = i;
        double r162433 = r162431 * r162432;
        double r162434 = r162430 - r162433;
        double r162435 = r162427 * r162434;
        double r162436 = j;
        double r162437 = r162421 * r162436;
        double r162438 = k;
        double r162439 = r162424 * r162438;
        double r162440 = r162437 - r162439;
        double r162441 = y0;
        double r162442 = r162441 * r162429;
        double r162443 = y1;
        double r162444 = r162443 * r162432;
        double r162445 = r162442 - r162444;
        double r162446 = r162440 * r162445;
        double r162447 = r162435 - r162446;
        double r162448 = y2;
        double r162449 = r162421 * r162448;
        double r162450 = y3;
        double r162451 = r162424 * r162450;
        double r162452 = r162449 - r162451;
        double r162453 = r162441 * r162431;
        double r162454 = r162443 * r162428;
        double r162455 = r162453 - r162454;
        double r162456 = r162452 * r162455;
        double r162457 = r162447 + r162456;
        double r162458 = r162425 * r162436;
        double r162459 = r162422 * r162438;
        double r162460 = r162458 - r162459;
        double r162461 = y4;
        double r162462 = r162461 * r162429;
        double r162463 = y5;
        double r162464 = r162463 * r162432;
        double r162465 = r162462 - r162464;
        double r162466 = r162460 * r162465;
        double r162467 = r162457 + r162466;
        double r162468 = r162425 * r162448;
        double r162469 = r162422 * r162450;
        double r162470 = r162468 - r162469;
        double r162471 = r162461 * r162431;
        double r162472 = r162463 * r162428;
        double r162473 = r162471 - r162472;
        double r162474 = r162470 * r162473;
        double r162475 = r162467 - r162474;
        double r162476 = r162438 * r162448;
        double r162477 = r162436 * r162450;
        double r162478 = r162476 - r162477;
        double r162479 = r162461 * r162443;
        double r162480 = r162463 * r162441;
        double r162481 = r162479 - r162480;
        double r162482 = r162478 * r162481;
        double r162483 = r162475 + r162482;
        return r162483;
}

Reproduce

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