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 r3574070 = x;
        double r3574071 = y;
        double r3574072 = r3574070 * r3574071;
        double r3574073 = z;
        double r3574074 = t;
        double r3574075 = r3574073 * r3574074;
        double r3574076 = r3574072 - r3574075;
        double r3574077 = a;
        double r3574078 = b;
        double r3574079 = r3574077 * r3574078;
        double r3574080 = c;
        double r3574081 = i;
        double r3574082 = r3574080 * r3574081;
        double r3574083 = r3574079 - r3574082;
        double r3574084 = r3574076 * r3574083;
        double r3574085 = j;
        double r3574086 = r3574070 * r3574085;
        double r3574087 = k;
        double r3574088 = r3574073 * r3574087;
        double r3574089 = r3574086 - r3574088;
        double r3574090 = y0;
        double r3574091 = r3574090 * r3574078;
        double r3574092 = y1;
        double r3574093 = r3574092 * r3574081;
        double r3574094 = r3574091 - r3574093;
        double r3574095 = r3574089 * r3574094;
        double r3574096 = r3574084 - r3574095;
        double r3574097 = y2;
        double r3574098 = r3574070 * r3574097;
        double r3574099 = y3;
        double r3574100 = r3574073 * r3574099;
        double r3574101 = r3574098 - r3574100;
        double r3574102 = r3574090 * r3574080;
        double r3574103 = r3574092 * r3574077;
        double r3574104 = r3574102 - r3574103;
        double r3574105 = r3574101 * r3574104;
        double r3574106 = r3574096 + r3574105;
        double r3574107 = r3574074 * r3574085;
        double r3574108 = r3574071 * r3574087;
        double r3574109 = r3574107 - r3574108;
        double r3574110 = y4;
        double r3574111 = r3574110 * r3574078;
        double r3574112 = y5;
        double r3574113 = r3574112 * r3574081;
        double r3574114 = r3574111 - r3574113;
        double r3574115 = r3574109 * r3574114;
        double r3574116 = r3574106 + r3574115;
        double r3574117 = r3574074 * r3574097;
        double r3574118 = r3574071 * r3574099;
        double r3574119 = r3574117 - r3574118;
        double r3574120 = r3574110 * r3574080;
        double r3574121 = r3574112 * r3574077;
        double r3574122 = r3574120 - r3574121;
        double r3574123 = r3574119 * r3574122;
        double r3574124 = r3574116 - r3574123;
        double r3574125 = r3574087 * r3574097;
        double r3574126 = r3574085 * r3574099;
        double r3574127 = r3574125 - r3574126;
        double r3574128 = r3574110 * r3574092;
        double r3574129 = r3574112 * r3574090;
        double r3574130 = r3574128 - r3574129;
        double r3574131 = r3574127 * r3574130;
        double r3574132 = r3574124 + r3574131;
        return r3574132;
}

Reproduce

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