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 r3340419 = x;
        double r3340420 = y;
        double r3340421 = r3340419 * r3340420;
        double r3340422 = z;
        double r3340423 = t;
        double r3340424 = r3340422 * r3340423;
        double r3340425 = r3340421 - r3340424;
        double r3340426 = a;
        double r3340427 = b;
        double r3340428 = r3340426 * r3340427;
        double r3340429 = c;
        double r3340430 = i;
        double r3340431 = r3340429 * r3340430;
        double r3340432 = r3340428 - r3340431;
        double r3340433 = r3340425 * r3340432;
        double r3340434 = j;
        double r3340435 = r3340419 * r3340434;
        double r3340436 = k;
        double r3340437 = r3340422 * r3340436;
        double r3340438 = r3340435 - r3340437;
        double r3340439 = y0;
        double r3340440 = r3340439 * r3340427;
        double r3340441 = y1;
        double r3340442 = r3340441 * r3340430;
        double r3340443 = r3340440 - r3340442;
        double r3340444 = r3340438 * r3340443;
        double r3340445 = r3340433 - r3340444;
        double r3340446 = y2;
        double r3340447 = r3340419 * r3340446;
        double r3340448 = y3;
        double r3340449 = r3340422 * r3340448;
        double r3340450 = r3340447 - r3340449;
        double r3340451 = r3340439 * r3340429;
        double r3340452 = r3340441 * r3340426;
        double r3340453 = r3340451 - r3340452;
        double r3340454 = r3340450 * r3340453;
        double r3340455 = r3340445 + r3340454;
        double r3340456 = r3340423 * r3340434;
        double r3340457 = r3340420 * r3340436;
        double r3340458 = r3340456 - r3340457;
        double r3340459 = y4;
        double r3340460 = r3340459 * r3340427;
        double r3340461 = y5;
        double r3340462 = r3340461 * r3340430;
        double r3340463 = r3340460 - r3340462;
        double r3340464 = r3340458 * r3340463;
        double r3340465 = r3340455 + r3340464;
        double r3340466 = r3340423 * r3340446;
        double r3340467 = r3340420 * r3340448;
        double r3340468 = r3340466 - r3340467;
        double r3340469 = r3340459 * r3340429;
        double r3340470 = r3340461 * r3340426;
        double r3340471 = r3340469 - r3340470;
        double r3340472 = r3340468 * r3340471;
        double r3340473 = r3340465 - r3340472;
        double r3340474 = r3340436 * r3340446;
        double r3340475 = r3340434 * r3340448;
        double r3340476 = r3340474 - r3340475;
        double r3340477 = r3340459 * r3340441;
        double r3340478 = r3340461 * r3340439;
        double r3340479 = r3340477 - r3340478;
        double r3340480 = r3340476 * r3340479;
        double r3340481 = r3340473 + r3340480;
        return r3340481;
}

Reproduce

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