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 r103684 = x;
        double r103685 = y;
        double r103686 = r103684 * r103685;
        double r103687 = z;
        double r103688 = t;
        double r103689 = r103687 * r103688;
        double r103690 = r103686 - r103689;
        double r103691 = a;
        double r103692 = b;
        double r103693 = r103691 * r103692;
        double r103694 = c;
        double r103695 = i;
        double r103696 = r103694 * r103695;
        double r103697 = r103693 - r103696;
        double r103698 = r103690 * r103697;
        double r103699 = j;
        double r103700 = r103684 * r103699;
        double r103701 = k;
        double r103702 = r103687 * r103701;
        double r103703 = r103700 - r103702;
        double r103704 = y0;
        double r103705 = r103704 * r103692;
        double r103706 = y1;
        double r103707 = r103706 * r103695;
        double r103708 = r103705 - r103707;
        double r103709 = r103703 * r103708;
        double r103710 = r103698 - r103709;
        double r103711 = y2;
        double r103712 = r103684 * r103711;
        double r103713 = y3;
        double r103714 = r103687 * r103713;
        double r103715 = r103712 - r103714;
        double r103716 = r103704 * r103694;
        double r103717 = r103706 * r103691;
        double r103718 = r103716 - r103717;
        double r103719 = r103715 * r103718;
        double r103720 = r103710 + r103719;
        double r103721 = r103688 * r103699;
        double r103722 = r103685 * r103701;
        double r103723 = r103721 - r103722;
        double r103724 = y4;
        double r103725 = r103724 * r103692;
        double r103726 = y5;
        double r103727 = r103726 * r103695;
        double r103728 = r103725 - r103727;
        double r103729 = r103723 * r103728;
        double r103730 = r103720 + r103729;
        double r103731 = r103688 * r103711;
        double r103732 = r103685 * r103713;
        double r103733 = r103731 - r103732;
        double r103734 = r103724 * r103694;
        double r103735 = r103726 * r103691;
        double r103736 = r103734 - r103735;
        double r103737 = r103733 * r103736;
        double r103738 = r103730 - r103737;
        double r103739 = r103701 * r103711;
        double r103740 = r103699 * r103713;
        double r103741 = r103739 - r103740;
        double r103742 = r103724 * r103706;
        double r103743 = r103726 * r103704;
        double r103744 = r103742 - r103743;
        double r103745 = r103741 * r103744;
        double r103746 = r103738 + r103745;
        return r103746;
}

Reproduce

herbie shell --seed 2020057 +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"
  :precision binary64
  (+ (- (+ (+ (- (* (- (* 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)))))