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 r109625 = x;
        double r109626 = y;
        double r109627 = r109625 * r109626;
        double r109628 = z;
        double r109629 = t;
        double r109630 = r109628 * r109629;
        double r109631 = r109627 - r109630;
        double r109632 = a;
        double r109633 = b;
        double r109634 = r109632 * r109633;
        double r109635 = c;
        double r109636 = i;
        double r109637 = r109635 * r109636;
        double r109638 = r109634 - r109637;
        double r109639 = r109631 * r109638;
        double r109640 = j;
        double r109641 = r109625 * r109640;
        double r109642 = k;
        double r109643 = r109628 * r109642;
        double r109644 = r109641 - r109643;
        double r109645 = y0;
        double r109646 = r109645 * r109633;
        double r109647 = y1;
        double r109648 = r109647 * r109636;
        double r109649 = r109646 - r109648;
        double r109650 = r109644 * r109649;
        double r109651 = r109639 - r109650;
        double r109652 = y2;
        double r109653 = r109625 * r109652;
        double r109654 = y3;
        double r109655 = r109628 * r109654;
        double r109656 = r109653 - r109655;
        double r109657 = r109645 * r109635;
        double r109658 = r109647 * r109632;
        double r109659 = r109657 - r109658;
        double r109660 = r109656 * r109659;
        double r109661 = r109651 + r109660;
        double r109662 = r109629 * r109640;
        double r109663 = r109626 * r109642;
        double r109664 = r109662 - r109663;
        double r109665 = y4;
        double r109666 = r109665 * r109633;
        double r109667 = y5;
        double r109668 = r109667 * r109636;
        double r109669 = r109666 - r109668;
        double r109670 = r109664 * r109669;
        double r109671 = r109661 + r109670;
        double r109672 = r109629 * r109652;
        double r109673 = r109626 * r109654;
        double r109674 = r109672 - r109673;
        double r109675 = r109665 * r109635;
        double r109676 = r109667 * r109632;
        double r109677 = r109675 - r109676;
        double r109678 = r109674 * r109677;
        double r109679 = r109671 - r109678;
        double r109680 = r109642 * r109652;
        double r109681 = r109640 * r109654;
        double r109682 = r109680 - r109681;
        double r109683 = r109665 * r109647;
        double r109684 = r109667 * r109645;
        double r109685 = r109683 - r109684;
        double r109686 = r109682 * r109685;
        double r109687 = r109679 + r109686;
        return r109687;
}

Reproduce

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