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 r5608298 = x;
        double r5608299 = y;
        double r5608300 = r5608298 * r5608299;
        double r5608301 = z;
        double r5608302 = t;
        double r5608303 = r5608301 * r5608302;
        double r5608304 = r5608300 - r5608303;
        double r5608305 = a;
        double r5608306 = b;
        double r5608307 = r5608305 * r5608306;
        double r5608308 = c;
        double r5608309 = i;
        double r5608310 = r5608308 * r5608309;
        double r5608311 = r5608307 - r5608310;
        double r5608312 = r5608304 * r5608311;
        double r5608313 = j;
        double r5608314 = r5608298 * r5608313;
        double r5608315 = k;
        double r5608316 = r5608301 * r5608315;
        double r5608317 = r5608314 - r5608316;
        double r5608318 = y0;
        double r5608319 = r5608318 * r5608306;
        double r5608320 = y1;
        double r5608321 = r5608320 * r5608309;
        double r5608322 = r5608319 - r5608321;
        double r5608323 = r5608317 * r5608322;
        double r5608324 = r5608312 - r5608323;
        double r5608325 = y2;
        double r5608326 = r5608298 * r5608325;
        double r5608327 = y3;
        double r5608328 = r5608301 * r5608327;
        double r5608329 = r5608326 - r5608328;
        double r5608330 = r5608318 * r5608308;
        double r5608331 = r5608320 * r5608305;
        double r5608332 = r5608330 - r5608331;
        double r5608333 = r5608329 * r5608332;
        double r5608334 = r5608324 + r5608333;
        double r5608335 = r5608302 * r5608313;
        double r5608336 = r5608299 * r5608315;
        double r5608337 = r5608335 - r5608336;
        double r5608338 = y4;
        double r5608339 = r5608338 * r5608306;
        double r5608340 = y5;
        double r5608341 = r5608340 * r5608309;
        double r5608342 = r5608339 - r5608341;
        double r5608343 = r5608337 * r5608342;
        double r5608344 = r5608334 + r5608343;
        double r5608345 = r5608302 * r5608325;
        double r5608346 = r5608299 * r5608327;
        double r5608347 = r5608345 - r5608346;
        double r5608348 = r5608338 * r5608308;
        double r5608349 = r5608340 * r5608305;
        double r5608350 = r5608348 - r5608349;
        double r5608351 = r5608347 * r5608350;
        double r5608352 = r5608344 - r5608351;
        double r5608353 = r5608315 * r5608325;
        double r5608354 = r5608313 * r5608327;
        double r5608355 = r5608353 - r5608354;
        double r5608356 = r5608338 * r5608320;
        double r5608357 = r5608340 * r5608318;
        double r5608358 = r5608356 - r5608357;
        double r5608359 = r5608355 * r5608358;
        double r5608360 = r5608352 + r5608359;
        return r5608360;
}

Reproduce

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