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 r6414591 = x;
        double r6414592 = y;
        double r6414593 = r6414591 * r6414592;
        double r6414594 = z;
        double r6414595 = t;
        double r6414596 = r6414594 * r6414595;
        double r6414597 = r6414593 - r6414596;
        double r6414598 = a;
        double r6414599 = b;
        double r6414600 = r6414598 * r6414599;
        double r6414601 = c;
        double r6414602 = i;
        double r6414603 = r6414601 * r6414602;
        double r6414604 = r6414600 - r6414603;
        double r6414605 = r6414597 * r6414604;
        double r6414606 = j;
        double r6414607 = r6414591 * r6414606;
        double r6414608 = k;
        double r6414609 = r6414594 * r6414608;
        double r6414610 = r6414607 - r6414609;
        double r6414611 = y0;
        double r6414612 = r6414611 * r6414599;
        double r6414613 = y1;
        double r6414614 = r6414613 * r6414602;
        double r6414615 = r6414612 - r6414614;
        double r6414616 = r6414610 * r6414615;
        double r6414617 = r6414605 - r6414616;
        double r6414618 = y2;
        double r6414619 = r6414591 * r6414618;
        double r6414620 = y3;
        double r6414621 = r6414594 * r6414620;
        double r6414622 = r6414619 - r6414621;
        double r6414623 = r6414611 * r6414601;
        double r6414624 = r6414613 * r6414598;
        double r6414625 = r6414623 - r6414624;
        double r6414626 = r6414622 * r6414625;
        double r6414627 = r6414617 + r6414626;
        double r6414628 = r6414595 * r6414606;
        double r6414629 = r6414592 * r6414608;
        double r6414630 = r6414628 - r6414629;
        double r6414631 = y4;
        double r6414632 = r6414631 * r6414599;
        double r6414633 = y5;
        double r6414634 = r6414633 * r6414602;
        double r6414635 = r6414632 - r6414634;
        double r6414636 = r6414630 * r6414635;
        double r6414637 = r6414627 + r6414636;
        double r6414638 = r6414595 * r6414618;
        double r6414639 = r6414592 * r6414620;
        double r6414640 = r6414638 - r6414639;
        double r6414641 = r6414631 * r6414601;
        double r6414642 = r6414633 * r6414598;
        double r6414643 = r6414641 - r6414642;
        double r6414644 = r6414640 * r6414643;
        double r6414645 = r6414637 - r6414644;
        double r6414646 = r6414608 * r6414618;
        double r6414647 = r6414606 * r6414620;
        double r6414648 = r6414646 - r6414647;
        double r6414649 = r6414631 * r6414613;
        double r6414650 = r6414633 * r6414611;
        double r6414651 = r6414649 - r6414650;
        double r6414652 = r6414648 * r6414651;
        double r6414653 = r6414645 + r6414652;
        return r6414653;
}

Reproduce

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