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 r2622415 = x;
        double r2622416 = y;
        double r2622417 = r2622415 * r2622416;
        double r2622418 = z;
        double r2622419 = t;
        double r2622420 = r2622418 * r2622419;
        double r2622421 = r2622417 - r2622420;
        double r2622422 = a;
        double r2622423 = b;
        double r2622424 = r2622422 * r2622423;
        double r2622425 = c;
        double r2622426 = i;
        double r2622427 = r2622425 * r2622426;
        double r2622428 = r2622424 - r2622427;
        double r2622429 = r2622421 * r2622428;
        double r2622430 = j;
        double r2622431 = r2622415 * r2622430;
        double r2622432 = k;
        double r2622433 = r2622418 * r2622432;
        double r2622434 = r2622431 - r2622433;
        double r2622435 = y0;
        double r2622436 = r2622435 * r2622423;
        double r2622437 = y1;
        double r2622438 = r2622437 * r2622426;
        double r2622439 = r2622436 - r2622438;
        double r2622440 = r2622434 * r2622439;
        double r2622441 = r2622429 - r2622440;
        double r2622442 = y2;
        double r2622443 = r2622415 * r2622442;
        double r2622444 = y3;
        double r2622445 = r2622418 * r2622444;
        double r2622446 = r2622443 - r2622445;
        double r2622447 = r2622435 * r2622425;
        double r2622448 = r2622437 * r2622422;
        double r2622449 = r2622447 - r2622448;
        double r2622450 = r2622446 * r2622449;
        double r2622451 = r2622441 + r2622450;
        double r2622452 = r2622419 * r2622430;
        double r2622453 = r2622416 * r2622432;
        double r2622454 = r2622452 - r2622453;
        double r2622455 = y4;
        double r2622456 = r2622455 * r2622423;
        double r2622457 = y5;
        double r2622458 = r2622457 * r2622426;
        double r2622459 = r2622456 - r2622458;
        double r2622460 = r2622454 * r2622459;
        double r2622461 = r2622451 + r2622460;
        double r2622462 = r2622419 * r2622442;
        double r2622463 = r2622416 * r2622444;
        double r2622464 = r2622462 - r2622463;
        double r2622465 = r2622455 * r2622425;
        double r2622466 = r2622457 * r2622422;
        double r2622467 = r2622465 - r2622466;
        double r2622468 = r2622464 * r2622467;
        double r2622469 = r2622461 - r2622468;
        double r2622470 = r2622432 * r2622442;
        double r2622471 = r2622430 * r2622444;
        double r2622472 = r2622470 - r2622471;
        double r2622473 = r2622455 * r2622437;
        double r2622474 = r2622457 * r2622435;
        double r2622475 = r2622473 - r2622474;
        double r2622476 = r2622472 * r2622475;
        double r2622477 = r2622469 + r2622476;
        return r2622477;
}

Reproduce

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