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 r3163629 = x;
        double r3163630 = y;
        double r3163631 = r3163629 * r3163630;
        double r3163632 = z;
        double r3163633 = t;
        double r3163634 = r3163632 * r3163633;
        double r3163635 = r3163631 - r3163634;
        double r3163636 = a;
        double r3163637 = b;
        double r3163638 = r3163636 * r3163637;
        double r3163639 = c;
        double r3163640 = i;
        double r3163641 = r3163639 * r3163640;
        double r3163642 = r3163638 - r3163641;
        double r3163643 = r3163635 * r3163642;
        double r3163644 = j;
        double r3163645 = r3163629 * r3163644;
        double r3163646 = k;
        double r3163647 = r3163632 * r3163646;
        double r3163648 = r3163645 - r3163647;
        double r3163649 = y0;
        double r3163650 = r3163649 * r3163637;
        double r3163651 = y1;
        double r3163652 = r3163651 * r3163640;
        double r3163653 = r3163650 - r3163652;
        double r3163654 = r3163648 * r3163653;
        double r3163655 = r3163643 - r3163654;
        double r3163656 = y2;
        double r3163657 = r3163629 * r3163656;
        double r3163658 = y3;
        double r3163659 = r3163632 * r3163658;
        double r3163660 = r3163657 - r3163659;
        double r3163661 = r3163649 * r3163639;
        double r3163662 = r3163651 * r3163636;
        double r3163663 = r3163661 - r3163662;
        double r3163664 = r3163660 * r3163663;
        double r3163665 = r3163655 + r3163664;
        double r3163666 = r3163633 * r3163644;
        double r3163667 = r3163630 * r3163646;
        double r3163668 = r3163666 - r3163667;
        double r3163669 = y4;
        double r3163670 = r3163669 * r3163637;
        double r3163671 = y5;
        double r3163672 = r3163671 * r3163640;
        double r3163673 = r3163670 - r3163672;
        double r3163674 = r3163668 * r3163673;
        double r3163675 = r3163665 + r3163674;
        double r3163676 = r3163633 * r3163656;
        double r3163677 = r3163630 * r3163658;
        double r3163678 = r3163676 - r3163677;
        double r3163679 = r3163669 * r3163639;
        double r3163680 = r3163671 * r3163636;
        double r3163681 = r3163679 - r3163680;
        double r3163682 = r3163678 * r3163681;
        double r3163683 = r3163675 - r3163682;
        double r3163684 = r3163646 * r3163656;
        double r3163685 = r3163644 * r3163658;
        double r3163686 = r3163684 - r3163685;
        double r3163687 = r3163669 * r3163651;
        double r3163688 = r3163671 * r3163649;
        double r3163689 = r3163687 - r3163688;
        double r3163690 = r3163686 * r3163689;
        double r3163691 = r3163683 + r3163690;
        return r3163691;
}

Reproduce

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