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 r1422716 = x;
        double r1422717 = y;
        double r1422718 = r1422716 * r1422717;
        double r1422719 = z;
        double r1422720 = t;
        double r1422721 = r1422719 * r1422720;
        double r1422722 = r1422718 - r1422721;
        double r1422723 = a;
        double r1422724 = b;
        double r1422725 = r1422723 * r1422724;
        double r1422726 = c;
        double r1422727 = i;
        double r1422728 = r1422726 * r1422727;
        double r1422729 = r1422725 - r1422728;
        double r1422730 = r1422722 * r1422729;
        double r1422731 = j;
        double r1422732 = r1422716 * r1422731;
        double r1422733 = k;
        double r1422734 = r1422719 * r1422733;
        double r1422735 = r1422732 - r1422734;
        double r1422736 = y0;
        double r1422737 = r1422736 * r1422724;
        double r1422738 = y1;
        double r1422739 = r1422738 * r1422727;
        double r1422740 = r1422737 - r1422739;
        double r1422741 = r1422735 * r1422740;
        double r1422742 = r1422730 - r1422741;
        double r1422743 = y2;
        double r1422744 = r1422716 * r1422743;
        double r1422745 = y3;
        double r1422746 = r1422719 * r1422745;
        double r1422747 = r1422744 - r1422746;
        double r1422748 = r1422736 * r1422726;
        double r1422749 = r1422738 * r1422723;
        double r1422750 = r1422748 - r1422749;
        double r1422751 = r1422747 * r1422750;
        double r1422752 = r1422742 + r1422751;
        double r1422753 = r1422720 * r1422731;
        double r1422754 = r1422717 * r1422733;
        double r1422755 = r1422753 - r1422754;
        double r1422756 = y4;
        double r1422757 = r1422756 * r1422724;
        double r1422758 = y5;
        double r1422759 = r1422758 * r1422727;
        double r1422760 = r1422757 - r1422759;
        double r1422761 = r1422755 * r1422760;
        double r1422762 = r1422752 + r1422761;
        double r1422763 = r1422720 * r1422743;
        double r1422764 = r1422717 * r1422745;
        double r1422765 = r1422763 - r1422764;
        double r1422766 = r1422756 * r1422726;
        double r1422767 = r1422758 * r1422723;
        double r1422768 = r1422766 - r1422767;
        double r1422769 = r1422765 * r1422768;
        double r1422770 = r1422762 - r1422769;
        double r1422771 = r1422733 * r1422743;
        double r1422772 = r1422731 * r1422745;
        double r1422773 = r1422771 - r1422772;
        double r1422774 = r1422756 * r1422738;
        double r1422775 = r1422758 * r1422736;
        double r1422776 = r1422774 - r1422775;
        double r1422777 = r1422773 * r1422776;
        double r1422778 = r1422770 + r1422777;
        return r1422778;
}

Reproduce

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