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 r3069648 = x;
        double r3069649 = y;
        double r3069650 = r3069648 * r3069649;
        double r3069651 = z;
        double r3069652 = t;
        double r3069653 = r3069651 * r3069652;
        double r3069654 = r3069650 - r3069653;
        double r3069655 = a;
        double r3069656 = b;
        double r3069657 = r3069655 * r3069656;
        double r3069658 = c;
        double r3069659 = i;
        double r3069660 = r3069658 * r3069659;
        double r3069661 = r3069657 - r3069660;
        double r3069662 = r3069654 * r3069661;
        double r3069663 = j;
        double r3069664 = r3069648 * r3069663;
        double r3069665 = k;
        double r3069666 = r3069651 * r3069665;
        double r3069667 = r3069664 - r3069666;
        double r3069668 = y0;
        double r3069669 = r3069668 * r3069656;
        double r3069670 = y1;
        double r3069671 = r3069670 * r3069659;
        double r3069672 = r3069669 - r3069671;
        double r3069673 = r3069667 * r3069672;
        double r3069674 = r3069662 - r3069673;
        double r3069675 = y2;
        double r3069676 = r3069648 * r3069675;
        double r3069677 = y3;
        double r3069678 = r3069651 * r3069677;
        double r3069679 = r3069676 - r3069678;
        double r3069680 = r3069668 * r3069658;
        double r3069681 = r3069670 * r3069655;
        double r3069682 = r3069680 - r3069681;
        double r3069683 = r3069679 * r3069682;
        double r3069684 = r3069674 + r3069683;
        double r3069685 = r3069652 * r3069663;
        double r3069686 = r3069649 * r3069665;
        double r3069687 = r3069685 - r3069686;
        double r3069688 = y4;
        double r3069689 = r3069688 * r3069656;
        double r3069690 = y5;
        double r3069691 = r3069690 * r3069659;
        double r3069692 = r3069689 - r3069691;
        double r3069693 = r3069687 * r3069692;
        double r3069694 = r3069684 + r3069693;
        double r3069695 = r3069652 * r3069675;
        double r3069696 = r3069649 * r3069677;
        double r3069697 = r3069695 - r3069696;
        double r3069698 = r3069688 * r3069658;
        double r3069699 = r3069690 * r3069655;
        double r3069700 = r3069698 - r3069699;
        double r3069701 = r3069697 * r3069700;
        double r3069702 = r3069694 - r3069701;
        double r3069703 = r3069665 * r3069675;
        double r3069704 = r3069663 * r3069677;
        double r3069705 = r3069703 - r3069704;
        double r3069706 = r3069688 * r3069670;
        double r3069707 = r3069690 * r3069668;
        double r3069708 = r3069706 - r3069707;
        double r3069709 = r3069705 * r3069708;
        double r3069710 = r3069702 + r3069709;
        return r3069710;
}

Reproduce

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