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 r3457645 = x;
        double r3457646 = y;
        double r3457647 = r3457645 * r3457646;
        double r3457648 = z;
        double r3457649 = t;
        double r3457650 = r3457648 * r3457649;
        double r3457651 = r3457647 - r3457650;
        double r3457652 = a;
        double r3457653 = b;
        double r3457654 = r3457652 * r3457653;
        double r3457655 = c;
        double r3457656 = i;
        double r3457657 = r3457655 * r3457656;
        double r3457658 = r3457654 - r3457657;
        double r3457659 = r3457651 * r3457658;
        double r3457660 = j;
        double r3457661 = r3457645 * r3457660;
        double r3457662 = k;
        double r3457663 = r3457648 * r3457662;
        double r3457664 = r3457661 - r3457663;
        double r3457665 = y0;
        double r3457666 = r3457665 * r3457653;
        double r3457667 = y1;
        double r3457668 = r3457667 * r3457656;
        double r3457669 = r3457666 - r3457668;
        double r3457670 = r3457664 * r3457669;
        double r3457671 = r3457659 - r3457670;
        double r3457672 = y2;
        double r3457673 = r3457645 * r3457672;
        double r3457674 = y3;
        double r3457675 = r3457648 * r3457674;
        double r3457676 = r3457673 - r3457675;
        double r3457677 = r3457665 * r3457655;
        double r3457678 = r3457667 * r3457652;
        double r3457679 = r3457677 - r3457678;
        double r3457680 = r3457676 * r3457679;
        double r3457681 = r3457671 + r3457680;
        double r3457682 = r3457649 * r3457660;
        double r3457683 = r3457646 * r3457662;
        double r3457684 = r3457682 - r3457683;
        double r3457685 = y4;
        double r3457686 = r3457685 * r3457653;
        double r3457687 = y5;
        double r3457688 = r3457687 * r3457656;
        double r3457689 = r3457686 - r3457688;
        double r3457690 = r3457684 * r3457689;
        double r3457691 = r3457681 + r3457690;
        double r3457692 = r3457649 * r3457672;
        double r3457693 = r3457646 * r3457674;
        double r3457694 = r3457692 - r3457693;
        double r3457695 = r3457685 * r3457655;
        double r3457696 = r3457687 * r3457652;
        double r3457697 = r3457695 - r3457696;
        double r3457698 = r3457694 * r3457697;
        double r3457699 = r3457691 - r3457698;
        double r3457700 = r3457662 * r3457672;
        double r3457701 = r3457660 * r3457674;
        double r3457702 = r3457700 - r3457701;
        double r3457703 = r3457685 * r3457667;
        double r3457704 = r3457687 * r3457665;
        double r3457705 = r3457703 - r3457704;
        double r3457706 = r3457702 * r3457705;
        double r3457707 = r3457699 + r3457706;
        return r3457707;
}

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)))))