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 r3513603 = x;
        double r3513604 = y;
        double r3513605 = r3513603 * r3513604;
        double r3513606 = z;
        double r3513607 = t;
        double r3513608 = r3513606 * r3513607;
        double r3513609 = r3513605 - r3513608;
        double r3513610 = a;
        double r3513611 = b;
        double r3513612 = r3513610 * r3513611;
        double r3513613 = c;
        double r3513614 = i;
        double r3513615 = r3513613 * r3513614;
        double r3513616 = r3513612 - r3513615;
        double r3513617 = r3513609 * r3513616;
        double r3513618 = j;
        double r3513619 = r3513603 * r3513618;
        double r3513620 = k;
        double r3513621 = r3513606 * r3513620;
        double r3513622 = r3513619 - r3513621;
        double r3513623 = y0;
        double r3513624 = r3513623 * r3513611;
        double r3513625 = y1;
        double r3513626 = r3513625 * r3513614;
        double r3513627 = r3513624 - r3513626;
        double r3513628 = r3513622 * r3513627;
        double r3513629 = r3513617 - r3513628;
        double r3513630 = y2;
        double r3513631 = r3513603 * r3513630;
        double r3513632 = y3;
        double r3513633 = r3513606 * r3513632;
        double r3513634 = r3513631 - r3513633;
        double r3513635 = r3513623 * r3513613;
        double r3513636 = r3513625 * r3513610;
        double r3513637 = r3513635 - r3513636;
        double r3513638 = r3513634 * r3513637;
        double r3513639 = r3513629 + r3513638;
        double r3513640 = r3513607 * r3513618;
        double r3513641 = r3513604 * r3513620;
        double r3513642 = r3513640 - r3513641;
        double r3513643 = y4;
        double r3513644 = r3513643 * r3513611;
        double r3513645 = y5;
        double r3513646 = r3513645 * r3513614;
        double r3513647 = r3513644 - r3513646;
        double r3513648 = r3513642 * r3513647;
        double r3513649 = r3513639 + r3513648;
        double r3513650 = r3513607 * r3513630;
        double r3513651 = r3513604 * r3513632;
        double r3513652 = r3513650 - r3513651;
        double r3513653 = r3513643 * r3513613;
        double r3513654 = r3513645 * r3513610;
        double r3513655 = r3513653 - r3513654;
        double r3513656 = r3513652 * r3513655;
        double r3513657 = r3513649 - r3513656;
        double r3513658 = r3513620 * r3513630;
        double r3513659 = r3513618 * r3513632;
        double r3513660 = r3513658 - r3513659;
        double r3513661 = r3513643 * r3513625;
        double r3513662 = r3513645 * r3513623;
        double r3513663 = r3513661 - r3513662;
        double r3513664 = r3513660 * r3513663;
        double r3513665 = r3513657 + r3513664;
        return r3513665;
}

Reproduce

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