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 r111556 = x;
        double r111557 = y;
        double r111558 = r111556 * r111557;
        double r111559 = z;
        double r111560 = t;
        double r111561 = r111559 * r111560;
        double r111562 = r111558 - r111561;
        double r111563 = a;
        double r111564 = b;
        double r111565 = r111563 * r111564;
        double r111566 = c;
        double r111567 = i;
        double r111568 = r111566 * r111567;
        double r111569 = r111565 - r111568;
        double r111570 = r111562 * r111569;
        double r111571 = j;
        double r111572 = r111556 * r111571;
        double r111573 = k;
        double r111574 = r111559 * r111573;
        double r111575 = r111572 - r111574;
        double r111576 = y0;
        double r111577 = r111576 * r111564;
        double r111578 = y1;
        double r111579 = r111578 * r111567;
        double r111580 = r111577 - r111579;
        double r111581 = r111575 * r111580;
        double r111582 = r111570 - r111581;
        double r111583 = y2;
        double r111584 = r111556 * r111583;
        double r111585 = y3;
        double r111586 = r111559 * r111585;
        double r111587 = r111584 - r111586;
        double r111588 = r111576 * r111566;
        double r111589 = r111578 * r111563;
        double r111590 = r111588 - r111589;
        double r111591 = r111587 * r111590;
        double r111592 = r111582 + r111591;
        double r111593 = r111560 * r111571;
        double r111594 = r111557 * r111573;
        double r111595 = r111593 - r111594;
        double r111596 = y4;
        double r111597 = r111596 * r111564;
        double r111598 = y5;
        double r111599 = r111598 * r111567;
        double r111600 = r111597 - r111599;
        double r111601 = r111595 * r111600;
        double r111602 = r111592 + r111601;
        double r111603 = r111560 * r111583;
        double r111604 = r111557 * r111585;
        double r111605 = r111603 - r111604;
        double r111606 = r111596 * r111566;
        double r111607 = r111598 * r111563;
        double r111608 = r111606 - r111607;
        double r111609 = r111605 * r111608;
        double r111610 = r111602 - r111609;
        double r111611 = r111573 * r111583;
        double r111612 = r111571 * r111585;
        double r111613 = r111611 - r111612;
        double r111614 = r111596 * r111578;
        double r111615 = r111598 * r111576;
        double r111616 = r111614 - r111615;
        double r111617 = r111613 * r111616;
        double r111618 = r111610 + r111617;
        return r111618;
}

Reproduce

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