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 r1461568 = x;
        double r1461569 = y;
        double r1461570 = r1461568 * r1461569;
        double r1461571 = z;
        double r1461572 = t;
        double r1461573 = r1461571 * r1461572;
        double r1461574 = r1461570 - r1461573;
        double r1461575 = a;
        double r1461576 = b;
        double r1461577 = r1461575 * r1461576;
        double r1461578 = c;
        double r1461579 = i;
        double r1461580 = r1461578 * r1461579;
        double r1461581 = r1461577 - r1461580;
        double r1461582 = r1461574 * r1461581;
        double r1461583 = j;
        double r1461584 = r1461568 * r1461583;
        double r1461585 = k;
        double r1461586 = r1461571 * r1461585;
        double r1461587 = r1461584 - r1461586;
        double r1461588 = y0;
        double r1461589 = r1461588 * r1461576;
        double r1461590 = y1;
        double r1461591 = r1461590 * r1461579;
        double r1461592 = r1461589 - r1461591;
        double r1461593 = r1461587 * r1461592;
        double r1461594 = r1461582 - r1461593;
        double r1461595 = y2;
        double r1461596 = r1461568 * r1461595;
        double r1461597 = y3;
        double r1461598 = r1461571 * r1461597;
        double r1461599 = r1461596 - r1461598;
        double r1461600 = r1461588 * r1461578;
        double r1461601 = r1461590 * r1461575;
        double r1461602 = r1461600 - r1461601;
        double r1461603 = r1461599 * r1461602;
        double r1461604 = r1461594 + r1461603;
        double r1461605 = r1461572 * r1461583;
        double r1461606 = r1461569 * r1461585;
        double r1461607 = r1461605 - r1461606;
        double r1461608 = y4;
        double r1461609 = r1461608 * r1461576;
        double r1461610 = y5;
        double r1461611 = r1461610 * r1461579;
        double r1461612 = r1461609 - r1461611;
        double r1461613 = r1461607 * r1461612;
        double r1461614 = r1461604 + r1461613;
        double r1461615 = r1461572 * r1461595;
        double r1461616 = r1461569 * r1461597;
        double r1461617 = r1461615 - r1461616;
        double r1461618 = r1461608 * r1461578;
        double r1461619 = r1461610 * r1461575;
        double r1461620 = r1461618 - r1461619;
        double r1461621 = r1461617 * r1461620;
        double r1461622 = r1461614 - r1461621;
        double r1461623 = r1461585 * r1461595;
        double r1461624 = r1461583 * r1461597;
        double r1461625 = r1461623 - r1461624;
        double r1461626 = r1461608 * r1461590;
        double r1461627 = r1461610 * r1461588;
        double r1461628 = r1461626 - r1461627;
        double r1461629 = r1461625 * r1461628;
        double r1461630 = r1461622 + r1461629;
        return r1461630;
}

Reproduce

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