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 r101619 = x;
        double r101620 = y;
        double r101621 = r101619 * r101620;
        double r101622 = z;
        double r101623 = t;
        double r101624 = r101622 * r101623;
        double r101625 = r101621 - r101624;
        double r101626 = a;
        double r101627 = b;
        double r101628 = r101626 * r101627;
        double r101629 = c;
        double r101630 = i;
        double r101631 = r101629 * r101630;
        double r101632 = r101628 - r101631;
        double r101633 = r101625 * r101632;
        double r101634 = j;
        double r101635 = r101619 * r101634;
        double r101636 = k;
        double r101637 = r101622 * r101636;
        double r101638 = r101635 - r101637;
        double r101639 = y0;
        double r101640 = r101639 * r101627;
        double r101641 = y1;
        double r101642 = r101641 * r101630;
        double r101643 = r101640 - r101642;
        double r101644 = r101638 * r101643;
        double r101645 = r101633 - r101644;
        double r101646 = y2;
        double r101647 = r101619 * r101646;
        double r101648 = y3;
        double r101649 = r101622 * r101648;
        double r101650 = r101647 - r101649;
        double r101651 = r101639 * r101629;
        double r101652 = r101641 * r101626;
        double r101653 = r101651 - r101652;
        double r101654 = r101650 * r101653;
        double r101655 = r101645 + r101654;
        double r101656 = r101623 * r101634;
        double r101657 = r101620 * r101636;
        double r101658 = r101656 - r101657;
        double r101659 = y4;
        double r101660 = r101659 * r101627;
        double r101661 = y5;
        double r101662 = r101661 * r101630;
        double r101663 = r101660 - r101662;
        double r101664 = r101658 * r101663;
        double r101665 = r101655 + r101664;
        double r101666 = r101623 * r101646;
        double r101667 = r101620 * r101648;
        double r101668 = r101666 - r101667;
        double r101669 = r101659 * r101629;
        double r101670 = r101661 * r101626;
        double r101671 = r101669 - r101670;
        double r101672 = r101668 * r101671;
        double r101673 = r101665 - r101672;
        double r101674 = r101636 * r101646;
        double r101675 = r101634 * r101648;
        double r101676 = r101674 - r101675;
        double r101677 = r101659 * r101641;
        double r101678 = r101661 * r101639;
        double r101679 = r101677 - r101678;
        double r101680 = r101676 * r101679;
        double r101681 = r101673 + r101680;
        return r101681;
}

Reproduce

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