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 r128164 = x;
        double r128165 = y;
        double r128166 = r128164 * r128165;
        double r128167 = z;
        double r128168 = t;
        double r128169 = r128167 * r128168;
        double r128170 = r128166 - r128169;
        double r128171 = a;
        double r128172 = b;
        double r128173 = r128171 * r128172;
        double r128174 = c;
        double r128175 = i;
        double r128176 = r128174 * r128175;
        double r128177 = r128173 - r128176;
        double r128178 = r128170 * r128177;
        double r128179 = j;
        double r128180 = r128164 * r128179;
        double r128181 = k;
        double r128182 = r128167 * r128181;
        double r128183 = r128180 - r128182;
        double r128184 = y0;
        double r128185 = r128184 * r128172;
        double r128186 = y1;
        double r128187 = r128186 * r128175;
        double r128188 = r128185 - r128187;
        double r128189 = r128183 * r128188;
        double r128190 = r128178 - r128189;
        double r128191 = y2;
        double r128192 = r128164 * r128191;
        double r128193 = y3;
        double r128194 = r128167 * r128193;
        double r128195 = r128192 - r128194;
        double r128196 = r128184 * r128174;
        double r128197 = r128186 * r128171;
        double r128198 = r128196 - r128197;
        double r128199 = r128195 * r128198;
        double r128200 = r128190 + r128199;
        double r128201 = r128168 * r128179;
        double r128202 = r128165 * r128181;
        double r128203 = r128201 - r128202;
        double r128204 = y4;
        double r128205 = r128204 * r128172;
        double r128206 = y5;
        double r128207 = r128206 * r128175;
        double r128208 = r128205 - r128207;
        double r128209 = r128203 * r128208;
        double r128210 = r128200 + r128209;
        double r128211 = r128168 * r128191;
        double r128212 = r128165 * r128193;
        double r128213 = r128211 - r128212;
        double r128214 = r128204 * r128174;
        double r128215 = r128206 * r128171;
        double r128216 = r128214 - r128215;
        double r128217 = r128213 * r128216;
        double r128218 = r128210 - r128217;
        double r128219 = r128181 * r128191;
        double r128220 = r128179 * r128193;
        double r128221 = r128219 - r128220;
        double r128222 = r128204 * r128186;
        double r128223 = r128206 * r128184;
        double r128224 = r128222 - r128223;
        double r128225 = r128221 * r128224;
        double r128226 = r128218 + r128225;
        return r128226;
}

Reproduce

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