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 r3060255 = x;
        double r3060256 = y;
        double r3060257 = r3060255 * r3060256;
        double r3060258 = z;
        double r3060259 = t;
        double r3060260 = r3060258 * r3060259;
        double r3060261 = r3060257 - r3060260;
        double r3060262 = a;
        double r3060263 = b;
        double r3060264 = r3060262 * r3060263;
        double r3060265 = c;
        double r3060266 = i;
        double r3060267 = r3060265 * r3060266;
        double r3060268 = r3060264 - r3060267;
        double r3060269 = r3060261 * r3060268;
        double r3060270 = j;
        double r3060271 = r3060255 * r3060270;
        double r3060272 = k;
        double r3060273 = r3060258 * r3060272;
        double r3060274 = r3060271 - r3060273;
        double r3060275 = y0;
        double r3060276 = r3060275 * r3060263;
        double r3060277 = y1;
        double r3060278 = r3060277 * r3060266;
        double r3060279 = r3060276 - r3060278;
        double r3060280 = r3060274 * r3060279;
        double r3060281 = r3060269 - r3060280;
        double r3060282 = y2;
        double r3060283 = r3060255 * r3060282;
        double r3060284 = y3;
        double r3060285 = r3060258 * r3060284;
        double r3060286 = r3060283 - r3060285;
        double r3060287 = r3060275 * r3060265;
        double r3060288 = r3060277 * r3060262;
        double r3060289 = r3060287 - r3060288;
        double r3060290 = r3060286 * r3060289;
        double r3060291 = r3060281 + r3060290;
        double r3060292 = r3060259 * r3060270;
        double r3060293 = r3060256 * r3060272;
        double r3060294 = r3060292 - r3060293;
        double r3060295 = y4;
        double r3060296 = r3060295 * r3060263;
        double r3060297 = y5;
        double r3060298 = r3060297 * r3060266;
        double r3060299 = r3060296 - r3060298;
        double r3060300 = r3060294 * r3060299;
        double r3060301 = r3060291 + r3060300;
        double r3060302 = r3060259 * r3060282;
        double r3060303 = r3060256 * r3060284;
        double r3060304 = r3060302 - r3060303;
        double r3060305 = r3060295 * r3060265;
        double r3060306 = r3060297 * r3060262;
        double r3060307 = r3060305 - r3060306;
        double r3060308 = r3060304 * r3060307;
        double r3060309 = r3060301 - r3060308;
        double r3060310 = r3060272 * r3060282;
        double r3060311 = r3060270 * r3060284;
        double r3060312 = r3060310 - r3060311;
        double r3060313 = r3060295 * r3060277;
        double r3060314 = r3060297 * r3060275;
        double r3060315 = r3060313 - r3060314;
        double r3060316 = r3060312 * r3060315;
        double r3060317 = r3060309 + r3060316;
        return r3060317;
}

Reproduce

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