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 r2975598 = x;
        double r2975599 = y;
        double r2975600 = r2975598 * r2975599;
        double r2975601 = z;
        double r2975602 = t;
        double r2975603 = r2975601 * r2975602;
        double r2975604 = r2975600 - r2975603;
        double r2975605 = a;
        double r2975606 = b;
        double r2975607 = r2975605 * r2975606;
        double r2975608 = c;
        double r2975609 = i;
        double r2975610 = r2975608 * r2975609;
        double r2975611 = r2975607 - r2975610;
        double r2975612 = r2975604 * r2975611;
        double r2975613 = j;
        double r2975614 = r2975598 * r2975613;
        double r2975615 = k;
        double r2975616 = r2975601 * r2975615;
        double r2975617 = r2975614 - r2975616;
        double r2975618 = y0;
        double r2975619 = r2975618 * r2975606;
        double r2975620 = y1;
        double r2975621 = r2975620 * r2975609;
        double r2975622 = r2975619 - r2975621;
        double r2975623 = r2975617 * r2975622;
        double r2975624 = r2975612 - r2975623;
        double r2975625 = y2;
        double r2975626 = r2975598 * r2975625;
        double r2975627 = y3;
        double r2975628 = r2975601 * r2975627;
        double r2975629 = r2975626 - r2975628;
        double r2975630 = r2975618 * r2975608;
        double r2975631 = r2975620 * r2975605;
        double r2975632 = r2975630 - r2975631;
        double r2975633 = r2975629 * r2975632;
        double r2975634 = r2975624 + r2975633;
        double r2975635 = r2975602 * r2975613;
        double r2975636 = r2975599 * r2975615;
        double r2975637 = r2975635 - r2975636;
        double r2975638 = y4;
        double r2975639 = r2975638 * r2975606;
        double r2975640 = y5;
        double r2975641 = r2975640 * r2975609;
        double r2975642 = r2975639 - r2975641;
        double r2975643 = r2975637 * r2975642;
        double r2975644 = r2975634 + r2975643;
        double r2975645 = r2975602 * r2975625;
        double r2975646 = r2975599 * r2975627;
        double r2975647 = r2975645 - r2975646;
        double r2975648 = r2975638 * r2975608;
        double r2975649 = r2975640 * r2975605;
        double r2975650 = r2975648 - r2975649;
        double r2975651 = r2975647 * r2975650;
        double r2975652 = r2975644 - r2975651;
        double r2975653 = r2975615 * r2975625;
        double r2975654 = r2975613 * r2975627;
        double r2975655 = r2975653 - r2975654;
        double r2975656 = r2975638 * r2975620;
        double r2975657 = r2975640 * r2975618;
        double r2975658 = r2975656 - r2975657;
        double r2975659 = r2975655 * r2975658;
        double r2975660 = r2975652 + r2975659;
        return r2975660;
}

Reproduce

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