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 r3715483 = x;
        double r3715484 = y;
        double r3715485 = r3715483 * r3715484;
        double r3715486 = z;
        double r3715487 = t;
        double r3715488 = r3715486 * r3715487;
        double r3715489 = r3715485 - r3715488;
        double r3715490 = a;
        double r3715491 = b;
        double r3715492 = r3715490 * r3715491;
        double r3715493 = c;
        double r3715494 = i;
        double r3715495 = r3715493 * r3715494;
        double r3715496 = r3715492 - r3715495;
        double r3715497 = r3715489 * r3715496;
        double r3715498 = j;
        double r3715499 = r3715483 * r3715498;
        double r3715500 = k;
        double r3715501 = r3715486 * r3715500;
        double r3715502 = r3715499 - r3715501;
        double r3715503 = y0;
        double r3715504 = r3715503 * r3715491;
        double r3715505 = y1;
        double r3715506 = r3715505 * r3715494;
        double r3715507 = r3715504 - r3715506;
        double r3715508 = r3715502 * r3715507;
        double r3715509 = r3715497 - r3715508;
        double r3715510 = y2;
        double r3715511 = r3715483 * r3715510;
        double r3715512 = y3;
        double r3715513 = r3715486 * r3715512;
        double r3715514 = r3715511 - r3715513;
        double r3715515 = r3715503 * r3715493;
        double r3715516 = r3715505 * r3715490;
        double r3715517 = r3715515 - r3715516;
        double r3715518 = r3715514 * r3715517;
        double r3715519 = r3715509 + r3715518;
        double r3715520 = r3715487 * r3715498;
        double r3715521 = r3715484 * r3715500;
        double r3715522 = r3715520 - r3715521;
        double r3715523 = y4;
        double r3715524 = r3715523 * r3715491;
        double r3715525 = y5;
        double r3715526 = r3715525 * r3715494;
        double r3715527 = r3715524 - r3715526;
        double r3715528 = r3715522 * r3715527;
        double r3715529 = r3715519 + r3715528;
        double r3715530 = r3715487 * r3715510;
        double r3715531 = r3715484 * r3715512;
        double r3715532 = r3715530 - r3715531;
        double r3715533 = r3715523 * r3715493;
        double r3715534 = r3715525 * r3715490;
        double r3715535 = r3715533 - r3715534;
        double r3715536 = r3715532 * r3715535;
        double r3715537 = r3715529 - r3715536;
        double r3715538 = r3715500 * r3715510;
        double r3715539 = r3715498 * r3715512;
        double r3715540 = r3715538 - r3715539;
        double r3715541 = r3715523 * r3715505;
        double r3715542 = r3715525 * r3715503;
        double r3715543 = r3715541 - r3715542;
        double r3715544 = r3715540 * r3715543;
        double r3715545 = r3715537 + r3715544;
        return r3715545;
}

Reproduce

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