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 r122499 = x;
        double r122500 = y;
        double r122501 = r122499 * r122500;
        double r122502 = z;
        double r122503 = t;
        double r122504 = r122502 * r122503;
        double r122505 = r122501 - r122504;
        double r122506 = a;
        double r122507 = b;
        double r122508 = r122506 * r122507;
        double r122509 = c;
        double r122510 = i;
        double r122511 = r122509 * r122510;
        double r122512 = r122508 - r122511;
        double r122513 = r122505 * r122512;
        double r122514 = j;
        double r122515 = r122499 * r122514;
        double r122516 = k;
        double r122517 = r122502 * r122516;
        double r122518 = r122515 - r122517;
        double r122519 = y0;
        double r122520 = r122519 * r122507;
        double r122521 = y1;
        double r122522 = r122521 * r122510;
        double r122523 = r122520 - r122522;
        double r122524 = r122518 * r122523;
        double r122525 = r122513 - r122524;
        double r122526 = y2;
        double r122527 = r122499 * r122526;
        double r122528 = y3;
        double r122529 = r122502 * r122528;
        double r122530 = r122527 - r122529;
        double r122531 = r122519 * r122509;
        double r122532 = r122521 * r122506;
        double r122533 = r122531 - r122532;
        double r122534 = r122530 * r122533;
        double r122535 = r122525 + r122534;
        double r122536 = r122503 * r122514;
        double r122537 = r122500 * r122516;
        double r122538 = r122536 - r122537;
        double r122539 = y4;
        double r122540 = r122539 * r122507;
        double r122541 = y5;
        double r122542 = r122541 * r122510;
        double r122543 = r122540 - r122542;
        double r122544 = r122538 * r122543;
        double r122545 = r122535 + r122544;
        double r122546 = r122503 * r122526;
        double r122547 = r122500 * r122528;
        double r122548 = r122546 - r122547;
        double r122549 = r122539 * r122509;
        double r122550 = r122541 * r122506;
        double r122551 = r122549 - r122550;
        double r122552 = r122548 * r122551;
        double r122553 = r122545 - r122552;
        double r122554 = r122516 * r122526;
        double r122555 = r122514 * r122528;
        double r122556 = r122554 - r122555;
        double r122557 = r122539 * r122521;
        double r122558 = r122541 * r122519;
        double r122559 = r122557 - r122558;
        double r122560 = r122556 * r122559;
        double r122561 = r122553 + r122560;
        return r122561;
}

Reproduce

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