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 r4248213 = x;
        double r4248214 = y;
        double r4248215 = r4248213 * r4248214;
        double r4248216 = z;
        double r4248217 = t;
        double r4248218 = r4248216 * r4248217;
        double r4248219 = r4248215 - r4248218;
        double r4248220 = a;
        double r4248221 = b;
        double r4248222 = r4248220 * r4248221;
        double r4248223 = c;
        double r4248224 = i;
        double r4248225 = r4248223 * r4248224;
        double r4248226 = r4248222 - r4248225;
        double r4248227 = r4248219 * r4248226;
        double r4248228 = j;
        double r4248229 = r4248213 * r4248228;
        double r4248230 = k;
        double r4248231 = r4248216 * r4248230;
        double r4248232 = r4248229 - r4248231;
        double r4248233 = y0;
        double r4248234 = r4248233 * r4248221;
        double r4248235 = y1;
        double r4248236 = r4248235 * r4248224;
        double r4248237 = r4248234 - r4248236;
        double r4248238 = r4248232 * r4248237;
        double r4248239 = r4248227 - r4248238;
        double r4248240 = y2;
        double r4248241 = r4248213 * r4248240;
        double r4248242 = y3;
        double r4248243 = r4248216 * r4248242;
        double r4248244 = r4248241 - r4248243;
        double r4248245 = r4248233 * r4248223;
        double r4248246 = r4248235 * r4248220;
        double r4248247 = r4248245 - r4248246;
        double r4248248 = r4248244 * r4248247;
        double r4248249 = r4248239 + r4248248;
        double r4248250 = r4248217 * r4248228;
        double r4248251 = r4248214 * r4248230;
        double r4248252 = r4248250 - r4248251;
        double r4248253 = y4;
        double r4248254 = r4248253 * r4248221;
        double r4248255 = y5;
        double r4248256 = r4248255 * r4248224;
        double r4248257 = r4248254 - r4248256;
        double r4248258 = r4248252 * r4248257;
        double r4248259 = r4248249 + r4248258;
        double r4248260 = r4248217 * r4248240;
        double r4248261 = r4248214 * r4248242;
        double r4248262 = r4248260 - r4248261;
        double r4248263 = r4248253 * r4248223;
        double r4248264 = r4248255 * r4248220;
        double r4248265 = r4248263 - r4248264;
        double r4248266 = r4248262 * r4248265;
        double r4248267 = r4248259 - r4248266;
        double r4248268 = r4248230 * r4248240;
        double r4248269 = r4248228 * r4248242;
        double r4248270 = r4248268 - r4248269;
        double r4248271 = r4248253 * r4248235;
        double r4248272 = r4248255 * r4248233;
        double r4248273 = r4248271 - r4248272;
        double r4248274 = r4248270 * r4248273;
        double r4248275 = r4248267 + r4248274;
        return r4248275;
}

Reproduce

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