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 r3766698 = x;
        double r3766699 = y;
        double r3766700 = r3766698 * r3766699;
        double r3766701 = z;
        double r3766702 = t;
        double r3766703 = r3766701 * r3766702;
        double r3766704 = r3766700 - r3766703;
        double r3766705 = a;
        double r3766706 = b;
        double r3766707 = r3766705 * r3766706;
        double r3766708 = c;
        double r3766709 = i;
        double r3766710 = r3766708 * r3766709;
        double r3766711 = r3766707 - r3766710;
        double r3766712 = r3766704 * r3766711;
        double r3766713 = j;
        double r3766714 = r3766698 * r3766713;
        double r3766715 = k;
        double r3766716 = r3766701 * r3766715;
        double r3766717 = r3766714 - r3766716;
        double r3766718 = y0;
        double r3766719 = r3766718 * r3766706;
        double r3766720 = y1;
        double r3766721 = r3766720 * r3766709;
        double r3766722 = r3766719 - r3766721;
        double r3766723 = r3766717 * r3766722;
        double r3766724 = r3766712 - r3766723;
        double r3766725 = y2;
        double r3766726 = r3766698 * r3766725;
        double r3766727 = y3;
        double r3766728 = r3766701 * r3766727;
        double r3766729 = r3766726 - r3766728;
        double r3766730 = r3766718 * r3766708;
        double r3766731 = r3766720 * r3766705;
        double r3766732 = r3766730 - r3766731;
        double r3766733 = r3766729 * r3766732;
        double r3766734 = r3766724 + r3766733;
        double r3766735 = r3766702 * r3766713;
        double r3766736 = r3766699 * r3766715;
        double r3766737 = r3766735 - r3766736;
        double r3766738 = y4;
        double r3766739 = r3766738 * r3766706;
        double r3766740 = y5;
        double r3766741 = r3766740 * r3766709;
        double r3766742 = r3766739 - r3766741;
        double r3766743 = r3766737 * r3766742;
        double r3766744 = r3766734 + r3766743;
        double r3766745 = r3766702 * r3766725;
        double r3766746 = r3766699 * r3766727;
        double r3766747 = r3766745 - r3766746;
        double r3766748 = r3766738 * r3766708;
        double r3766749 = r3766740 * r3766705;
        double r3766750 = r3766748 - r3766749;
        double r3766751 = r3766747 * r3766750;
        double r3766752 = r3766744 - r3766751;
        double r3766753 = r3766715 * r3766725;
        double r3766754 = r3766713 * r3766727;
        double r3766755 = r3766753 - r3766754;
        double r3766756 = r3766738 * r3766720;
        double r3766757 = r3766740 * r3766718;
        double r3766758 = r3766756 - r3766757;
        double r3766759 = r3766755 * r3766758;
        double r3766760 = r3766752 + r3766759;
        return r3766760;
}

Reproduce

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