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 r74467 = x;
        double r74468 = y;
        double r74469 = r74467 * r74468;
        double r74470 = z;
        double r74471 = t;
        double r74472 = r74470 * r74471;
        double r74473 = r74469 - r74472;
        double r74474 = a;
        double r74475 = b;
        double r74476 = r74474 * r74475;
        double r74477 = c;
        double r74478 = i;
        double r74479 = r74477 * r74478;
        double r74480 = r74476 - r74479;
        double r74481 = r74473 * r74480;
        double r74482 = j;
        double r74483 = r74467 * r74482;
        double r74484 = k;
        double r74485 = r74470 * r74484;
        double r74486 = r74483 - r74485;
        double r74487 = y0;
        double r74488 = r74487 * r74475;
        double r74489 = y1;
        double r74490 = r74489 * r74478;
        double r74491 = r74488 - r74490;
        double r74492 = r74486 * r74491;
        double r74493 = r74481 - r74492;
        double r74494 = y2;
        double r74495 = r74467 * r74494;
        double r74496 = y3;
        double r74497 = r74470 * r74496;
        double r74498 = r74495 - r74497;
        double r74499 = r74487 * r74477;
        double r74500 = r74489 * r74474;
        double r74501 = r74499 - r74500;
        double r74502 = r74498 * r74501;
        double r74503 = r74493 + r74502;
        double r74504 = r74471 * r74482;
        double r74505 = r74468 * r74484;
        double r74506 = r74504 - r74505;
        double r74507 = y4;
        double r74508 = r74507 * r74475;
        double r74509 = y5;
        double r74510 = r74509 * r74478;
        double r74511 = r74508 - r74510;
        double r74512 = r74506 * r74511;
        double r74513 = r74503 + r74512;
        double r74514 = r74471 * r74494;
        double r74515 = r74468 * r74496;
        double r74516 = r74514 - r74515;
        double r74517 = r74507 * r74477;
        double r74518 = r74509 * r74474;
        double r74519 = r74517 - r74518;
        double r74520 = r74516 * r74519;
        double r74521 = r74513 - r74520;
        double r74522 = r74484 * r74494;
        double r74523 = r74482 * r74496;
        double r74524 = r74522 - r74523;
        double r74525 = r74507 * r74489;
        double r74526 = r74509 * r74487;
        double r74527 = r74525 - r74526;
        double r74528 = r74524 * r74527;
        double r74529 = r74521 + r74528;
        return r74529;
}

Reproduce

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