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 r16805254 = x;
        double r16805255 = y;
        double r16805256 = r16805254 * r16805255;
        double r16805257 = z;
        double r16805258 = t;
        double r16805259 = r16805257 * r16805258;
        double r16805260 = r16805256 - r16805259;
        double r16805261 = a;
        double r16805262 = b;
        double r16805263 = r16805261 * r16805262;
        double r16805264 = c;
        double r16805265 = i;
        double r16805266 = r16805264 * r16805265;
        double r16805267 = r16805263 - r16805266;
        double r16805268 = r16805260 * r16805267;
        double r16805269 = j;
        double r16805270 = r16805254 * r16805269;
        double r16805271 = k;
        double r16805272 = r16805257 * r16805271;
        double r16805273 = r16805270 - r16805272;
        double r16805274 = y0;
        double r16805275 = r16805274 * r16805262;
        double r16805276 = y1;
        double r16805277 = r16805276 * r16805265;
        double r16805278 = r16805275 - r16805277;
        double r16805279 = r16805273 * r16805278;
        double r16805280 = r16805268 - r16805279;
        double r16805281 = y2;
        double r16805282 = r16805254 * r16805281;
        double r16805283 = y3;
        double r16805284 = r16805257 * r16805283;
        double r16805285 = r16805282 - r16805284;
        double r16805286 = r16805274 * r16805264;
        double r16805287 = r16805276 * r16805261;
        double r16805288 = r16805286 - r16805287;
        double r16805289 = r16805285 * r16805288;
        double r16805290 = r16805280 + r16805289;
        double r16805291 = r16805258 * r16805269;
        double r16805292 = r16805255 * r16805271;
        double r16805293 = r16805291 - r16805292;
        double r16805294 = y4;
        double r16805295 = r16805294 * r16805262;
        double r16805296 = y5;
        double r16805297 = r16805296 * r16805265;
        double r16805298 = r16805295 - r16805297;
        double r16805299 = r16805293 * r16805298;
        double r16805300 = r16805290 + r16805299;
        double r16805301 = r16805258 * r16805281;
        double r16805302 = r16805255 * r16805283;
        double r16805303 = r16805301 - r16805302;
        double r16805304 = r16805294 * r16805264;
        double r16805305 = r16805296 * r16805261;
        double r16805306 = r16805304 - r16805305;
        double r16805307 = r16805303 * r16805306;
        double r16805308 = r16805300 - r16805307;
        double r16805309 = r16805271 * r16805281;
        double r16805310 = r16805269 * r16805283;
        double r16805311 = r16805309 - r16805310;
        double r16805312 = r16805294 * r16805276;
        double r16805313 = r16805296 * r16805274;
        double r16805314 = r16805312 - r16805313;
        double r16805315 = r16805311 * r16805314;
        double r16805316 = r16805308 + r16805315;
        return r16805316;
}

Reproduce

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