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 r3769296 = x;
        double r3769297 = y;
        double r3769298 = r3769296 * r3769297;
        double r3769299 = z;
        double r3769300 = t;
        double r3769301 = r3769299 * r3769300;
        double r3769302 = r3769298 - r3769301;
        double r3769303 = a;
        double r3769304 = b;
        double r3769305 = r3769303 * r3769304;
        double r3769306 = c;
        double r3769307 = i;
        double r3769308 = r3769306 * r3769307;
        double r3769309 = r3769305 - r3769308;
        double r3769310 = r3769302 * r3769309;
        double r3769311 = j;
        double r3769312 = r3769296 * r3769311;
        double r3769313 = k;
        double r3769314 = r3769299 * r3769313;
        double r3769315 = r3769312 - r3769314;
        double r3769316 = y0;
        double r3769317 = r3769316 * r3769304;
        double r3769318 = y1;
        double r3769319 = r3769318 * r3769307;
        double r3769320 = r3769317 - r3769319;
        double r3769321 = r3769315 * r3769320;
        double r3769322 = r3769310 - r3769321;
        double r3769323 = y2;
        double r3769324 = r3769296 * r3769323;
        double r3769325 = y3;
        double r3769326 = r3769299 * r3769325;
        double r3769327 = r3769324 - r3769326;
        double r3769328 = r3769316 * r3769306;
        double r3769329 = r3769318 * r3769303;
        double r3769330 = r3769328 - r3769329;
        double r3769331 = r3769327 * r3769330;
        double r3769332 = r3769322 + r3769331;
        double r3769333 = r3769300 * r3769311;
        double r3769334 = r3769297 * r3769313;
        double r3769335 = r3769333 - r3769334;
        double r3769336 = y4;
        double r3769337 = r3769336 * r3769304;
        double r3769338 = y5;
        double r3769339 = r3769338 * r3769307;
        double r3769340 = r3769337 - r3769339;
        double r3769341 = r3769335 * r3769340;
        double r3769342 = r3769332 + r3769341;
        double r3769343 = r3769300 * r3769323;
        double r3769344 = r3769297 * r3769325;
        double r3769345 = r3769343 - r3769344;
        double r3769346 = r3769336 * r3769306;
        double r3769347 = r3769338 * r3769303;
        double r3769348 = r3769346 - r3769347;
        double r3769349 = r3769345 * r3769348;
        double r3769350 = r3769342 - r3769349;
        double r3769351 = r3769313 * r3769323;
        double r3769352 = r3769311 * r3769325;
        double r3769353 = r3769351 - r3769352;
        double r3769354 = r3769336 * r3769318;
        double r3769355 = r3769338 * r3769316;
        double r3769356 = r3769354 - r3769355;
        double r3769357 = r3769353 * r3769356;
        double r3769358 = r3769350 + r3769357;
        return r3769358;
}

Reproduce

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