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 r1245234 = x;
        double r1245235 = y;
        double r1245236 = r1245234 * r1245235;
        double r1245237 = z;
        double r1245238 = t;
        double r1245239 = r1245237 * r1245238;
        double r1245240 = r1245236 - r1245239;
        double r1245241 = a;
        double r1245242 = b;
        double r1245243 = r1245241 * r1245242;
        double r1245244 = c;
        double r1245245 = i;
        double r1245246 = r1245244 * r1245245;
        double r1245247 = r1245243 - r1245246;
        double r1245248 = r1245240 * r1245247;
        double r1245249 = j;
        double r1245250 = r1245234 * r1245249;
        double r1245251 = k;
        double r1245252 = r1245237 * r1245251;
        double r1245253 = r1245250 - r1245252;
        double r1245254 = y0;
        double r1245255 = r1245254 * r1245242;
        double r1245256 = y1;
        double r1245257 = r1245256 * r1245245;
        double r1245258 = r1245255 - r1245257;
        double r1245259 = r1245253 * r1245258;
        double r1245260 = r1245248 - r1245259;
        double r1245261 = y2;
        double r1245262 = r1245234 * r1245261;
        double r1245263 = y3;
        double r1245264 = r1245237 * r1245263;
        double r1245265 = r1245262 - r1245264;
        double r1245266 = r1245254 * r1245244;
        double r1245267 = r1245256 * r1245241;
        double r1245268 = r1245266 - r1245267;
        double r1245269 = r1245265 * r1245268;
        double r1245270 = r1245260 + r1245269;
        double r1245271 = r1245238 * r1245249;
        double r1245272 = r1245235 * r1245251;
        double r1245273 = r1245271 - r1245272;
        double r1245274 = y4;
        double r1245275 = r1245274 * r1245242;
        double r1245276 = y5;
        double r1245277 = r1245276 * r1245245;
        double r1245278 = r1245275 - r1245277;
        double r1245279 = r1245273 * r1245278;
        double r1245280 = r1245270 + r1245279;
        double r1245281 = r1245238 * r1245261;
        double r1245282 = r1245235 * r1245263;
        double r1245283 = r1245281 - r1245282;
        double r1245284 = r1245274 * r1245244;
        double r1245285 = r1245276 * r1245241;
        double r1245286 = r1245284 - r1245285;
        double r1245287 = r1245283 * r1245286;
        double r1245288 = r1245280 - r1245287;
        double r1245289 = r1245251 * r1245261;
        double r1245290 = r1245249 * r1245263;
        double r1245291 = r1245289 - r1245290;
        double r1245292 = r1245274 * r1245256;
        double r1245293 = r1245276 * r1245254;
        double r1245294 = r1245292 - r1245293;
        double r1245295 = r1245291 * r1245294;
        double r1245296 = r1245288 + r1245295;
        return r1245296;
}

Reproduce

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