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 r3680451 = x;
        double r3680452 = y;
        double r3680453 = r3680451 * r3680452;
        double r3680454 = z;
        double r3680455 = t;
        double r3680456 = r3680454 * r3680455;
        double r3680457 = r3680453 - r3680456;
        double r3680458 = a;
        double r3680459 = b;
        double r3680460 = r3680458 * r3680459;
        double r3680461 = c;
        double r3680462 = i;
        double r3680463 = r3680461 * r3680462;
        double r3680464 = r3680460 - r3680463;
        double r3680465 = r3680457 * r3680464;
        double r3680466 = j;
        double r3680467 = r3680451 * r3680466;
        double r3680468 = k;
        double r3680469 = r3680454 * r3680468;
        double r3680470 = r3680467 - r3680469;
        double r3680471 = y0;
        double r3680472 = r3680471 * r3680459;
        double r3680473 = y1;
        double r3680474 = r3680473 * r3680462;
        double r3680475 = r3680472 - r3680474;
        double r3680476 = r3680470 * r3680475;
        double r3680477 = r3680465 - r3680476;
        double r3680478 = y2;
        double r3680479 = r3680451 * r3680478;
        double r3680480 = y3;
        double r3680481 = r3680454 * r3680480;
        double r3680482 = r3680479 - r3680481;
        double r3680483 = r3680471 * r3680461;
        double r3680484 = r3680473 * r3680458;
        double r3680485 = r3680483 - r3680484;
        double r3680486 = r3680482 * r3680485;
        double r3680487 = r3680477 + r3680486;
        double r3680488 = r3680455 * r3680466;
        double r3680489 = r3680452 * r3680468;
        double r3680490 = r3680488 - r3680489;
        double r3680491 = y4;
        double r3680492 = r3680491 * r3680459;
        double r3680493 = y5;
        double r3680494 = r3680493 * r3680462;
        double r3680495 = r3680492 - r3680494;
        double r3680496 = r3680490 * r3680495;
        double r3680497 = r3680487 + r3680496;
        double r3680498 = r3680455 * r3680478;
        double r3680499 = r3680452 * r3680480;
        double r3680500 = r3680498 - r3680499;
        double r3680501 = r3680491 * r3680461;
        double r3680502 = r3680493 * r3680458;
        double r3680503 = r3680501 - r3680502;
        double r3680504 = r3680500 * r3680503;
        double r3680505 = r3680497 - r3680504;
        double r3680506 = r3680468 * r3680478;
        double r3680507 = r3680466 * r3680480;
        double r3680508 = r3680506 - r3680507;
        double r3680509 = r3680491 * r3680473;
        double r3680510 = r3680493 * r3680471;
        double r3680511 = r3680509 - r3680510;
        double r3680512 = r3680508 * r3680511;
        double r3680513 = r3680505 + r3680512;
        return r3680513;
}

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)))))