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 r2742510 = x;
        double r2742511 = y;
        double r2742512 = r2742510 * r2742511;
        double r2742513 = z;
        double r2742514 = t;
        double r2742515 = r2742513 * r2742514;
        double r2742516 = r2742512 - r2742515;
        double r2742517 = a;
        double r2742518 = b;
        double r2742519 = r2742517 * r2742518;
        double r2742520 = c;
        double r2742521 = i;
        double r2742522 = r2742520 * r2742521;
        double r2742523 = r2742519 - r2742522;
        double r2742524 = r2742516 * r2742523;
        double r2742525 = j;
        double r2742526 = r2742510 * r2742525;
        double r2742527 = k;
        double r2742528 = r2742513 * r2742527;
        double r2742529 = r2742526 - r2742528;
        double r2742530 = y0;
        double r2742531 = r2742530 * r2742518;
        double r2742532 = y1;
        double r2742533 = r2742532 * r2742521;
        double r2742534 = r2742531 - r2742533;
        double r2742535 = r2742529 * r2742534;
        double r2742536 = r2742524 - r2742535;
        double r2742537 = y2;
        double r2742538 = r2742510 * r2742537;
        double r2742539 = y3;
        double r2742540 = r2742513 * r2742539;
        double r2742541 = r2742538 - r2742540;
        double r2742542 = r2742530 * r2742520;
        double r2742543 = r2742532 * r2742517;
        double r2742544 = r2742542 - r2742543;
        double r2742545 = r2742541 * r2742544;
        double r2742546 = r2742536 + r2742545;
        double r2742547 = r2742514 * r2742525;
        double r2742548 = r2742511 * r2742527;
        double r2742549 = r2742547 - r2742548;
        double r2742550 = y4;
        double r2742551 = r2742550 * r2742518;
        double r2742552 = y5;
        double r2742553 = r2742552 * r2742521;
        double r2742554 = r2742551 - r2742553;
        double r2742555 = r2742549 * r2742554;
        double r2742556 = r2742546 + r2742555;
        double r2742557 = r2742514 * r2742537;
        double r2742558 = r2742511 * r2742539;
        double r2742559 = r2742557 - r2742558;
        double r2742560 = r2742550 * r2742520;
        double r2742561 = r2742552 * r2742517;
        double r2742562 = r2742560 - r2742561;
        double r2742563 = r2742559 * r2742562;
        double r2742564 = r2742556 - r2742563;
        double r2742565 = r2742527 * r2742537;
        double r2742566 = r2742525 * r2742539;
        double r2742567 = r2742565 - r2742566;
        double r2742568 = r2742550 * r2742532;
        double r2742569 = r2742552 * r2742530;
        double r2742570 = r2742568 - r2742569;
        double r2742571 = r2742567 * r2742570;
        double r2742572 = r2742564 + r2742571;
        return r2742572;
}

Reproduce

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