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 r11762211 = x;
        double r11762212 = y;
        double r11762213 = r11762211 * r11762212;
        double r11762214 = z;
        double r11762215 = t;
        double r11762216 = r11762214 * r11762215;
        double r11762217 = r11762213 - r11762216;
        double r11762218 = a;
        double r11762219 = b;
        double r11762220 = r11762218 * r11762219;
        double r11762221 = c;
        double r11762222 = i;
        double r11762223 = r11762221 * r11762222;
        double r11762224 = r11762220 - r11762223;
        double r11762225 = r11762217 * r11762224;
        double r11762226 = j;
        double r11762227 = r11762211 * r11762226;
        double r11762228 = k;
        double r11762229 = r11762214 * r11762228;
        double r11762230 = r11762227 - r11762229;
        double r11762231 = y0;
        double r11762232 = r11762231 * r11762219;
        double r11762233 = y1;
        double r11762234 = r11762233 * r11762222;
        double r11762235 = r11762232 - r11762234;
        double r11762236 = r11762230 * r11762235;
        double r11762237 = r11762225 - r11762236;
        double r11762238 = y2;
        double r11762239 = r11762211 * r11762238;
        double r11762240 = y3;
        double r11762241 = r11762214 * r11762240;
        double r11762242 = r11762239 - r11762241;
        double r11762243 = r11762231 * r11762221;
        double r11762244 = r11762233 * r11762218;
        double r11762245 = r11762243 - r11762244;
        double r11762246 = r11762242 * r11762245;
        double r11762247 = r11762237 + r11762246;
        double r11762248 = r11762215 * r11762226;
        double r11762249 = r11762212 * r11762228;
        double r11762250 = r11762248 - r11762249;
        double r11762251 = y4;
        double r11762252 = r11762251 * r11762219;
        double r11762253 = y5;
        double r11762254 = r11762253 * r11762222;
        double r11762255 = r11762252 - r11762254;
        double r11762256 = r11762250 * r11762255;
        double r11762257 = r11762247 + r11762256;
        double r11762258 = r11762215 * r11762238;
        double r11762259 = r11762212 * r11762240;
        double r11762260 = r11762258 - r11762259;
        double r11762261 = r11762251 * r11762221;
        double r11762262 = r11762253 * r11762218;
        double r11762263 = r11762261 - r11762262;
        double r11762264 = r11762260 * r11762263;
        double r11762265 = r11762257 - r11762264;
        double r11762266 = r11762228 * r11762238;
        double r11762267 = r11762226 * r11762240;
        double r11762268 = r11762266 - r11762267;
        double r11762269 = r11762251 * r11762233;
        double r11762270 = r11762253 * r11762231;
        double r11762271 = r11762269 - r11762270;
        double r11762272 = r11762268 * r11762271;
        double r11762273 = r11762265 + r11762272;
        return r11762273;
}

Reproduce

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