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 r74510 = x;
        double r74511 = y;
        double r74512 = r74510 * r74511;
        double r74513 = z;
        double r74514 = t;
        double r74515 = r74513 * r74514;
        double r74516 = r74512 - r74515;
        double r74517 = a;
        double r74518 = b;
        double r74519 = r74517 * r74518;
        double r74520 = c;
        double r74521 = i;
        double r74522 = r74520 * r74521;
        double r74523 = r74519 - r74522;
        double r74524 = r74516 * r74523;
        double r74525 = j;
        double r74526 = r74510 * r74525;
        double r74527 = k;
        double r74528 = r74513 * r74527;
        double r74529 = r74526 - r74528;
        double r74530 = y0;
        double r74531 = r74530 * r74518;
        double r74532 = y1;
        double r74533 = r74532 * r74521;
        double r74534 = r74531 - r74533;
        double r74535 = r74529 * r74534;
        double r74536 = r74524 - r74535;
        double r74537 = y2;
        double r74538 = r74510 * r74537;
        double r74539 = y3;
        double r74540 = r74513 * r74539;
        double r74541 = r74538 - r74540;
        double r74542 = r74530 * r74520;
        double r74543 = r74532 * r74517;
        double r74544 = r74542 - r74543;
        double r74545 = r74541 * r74544;
        double r74546 = r74536 + r74545;
        double r74547 = r74514 * r74525;
        double r74548 = r74511 * r74527;
        double r74549 = r74547 - r74548;
        double r74550 = y4;
        double r74551 = r74550 * r74518;
        double r74552 = y5;
        double r74553 = r74552 * r74521;
        double r74554 = r74551 - r74553;
        double r74555 = r74549 * r74554;
        double r74556 = r74546 + r74555;
        double r74557 = r74514 * r74537;
        double r74558 = r74511 * r74539;
        double r74559 = r74557 - r74558;
        double r74560 = r74550 * r74520;
        double r74561 = r74552 * r74517;
        double r74562 = r74560 - r74561;
        double r74563 = r74559 * r74562;
        double r74564 = r74556 - r74563;
        double r74565 = r74527 * r74537;
        double r74566 = r74525 * r74539;
        double r74567 = r74565 - r74566;
        double r74568 = r74550 * r74532;
        double r74569 = r74552 * r74530;
        double r74570 = r74568 - r74569;
        double r74571 = r74567 * r74570;
        double r74572 = r74564 + r74571;
        return r74572;
}

Reproduce

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