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 r1612209 = x;
        double r1612210 = y;
        double r1612211 = r1612209 * r1612210;
        double r1612212 = z;
        double r1612213 = t;
        double r1612214 = r1612212 * r1612213;
        double r1612215 = r1612211 - r1612214;
        double r1612216 = a;
        double r1612217 = b;
        double r1612218 = r1612216 * r1612217;
        double r1612219 = c;
        double r1612220 = i;
        double r1612221 = r1612219 * r1612220;
        double r1612222 = r1612218 - r1612221;
        double r1612223 = r1612215 * r1612222;
        double r1612224 = j;
        double r1612225 = r1612209 * r1612224;
        double r1612226 = k;
        double r1612227 = r1612212 * r1612226;
        double r1612228 = r1612225 - r1612227;
        double r1612229 = y0;
        double r1612230 = r1612229 * r1612217;
        double r1612231 = y1;
        double r1612232 = r1612231 * r1612220;
        double r1612233 = r1612230 - r1612232;
        double r1612234 = r1612228 * r1612233;
        double r1612235 = r1612223 - r1612234;
        double r1612236 = y2;
        double r1612237 = r1612209 * r1612236;
        double r1612238 = y3;
        double r1612239 = r1612212 * r1612238;
        double r1612240 = r1612237 - r1612239;
        double r1612241 = r1612229 * r1612219;
        double r1612242 = r1612231 * r1612216;
        double r1612243 = r1612241 - r1612242;
        double r1612244 = r1612240 * r1612243;
        double r1612245 = r1612235 + r1612244;
        double r1612246 = r1612213 * r1612224;
        double r1612247 = r1612210 * r1612226;
        double r1612248 = r1612246 - r1612247;
        double r1612249 = y4;
        double r1612250 = r1612249 * r1612217;
        double r1612251 = y5;
        double r1612252 = r1612251 * r1612220;
        double r1612253 = r1612250 - r1612252;
        double r1612254 = r1612248 * r1612253;
        double r1612255 = r1612245 + r1612254;
        double r1612256 = r1612213 * r1612236;
        double r1612257 = r1612210 * r1612238;
        double r1612258 = r1612256 - r1612257;
        double r1612259 = r1612249 * r1612219;
        double r1612260 = r1612251 * r1612216;
        double r1612261 = r1612259 - r1612260;
        double r1612262 = r1612258 * r1612261;
        double r1612263 = r1612255 - r1612262;
        double r1612264 = r1612226 * r1612236;
        double r1612265 = r1612224 * r1612238;
        double r1612266 = r1612264 - r1612265;
        double r1612267 = r1612249 * r1612231;
        double r1612268 = r1612251 * r1612229;
        double r1612269 = r1612267 - r1612268;
        double r1612270 = r1612266 * r1612269;
        double r1612271 = r1612263 + r1612270;
        return r1612271;
}

Reproduce

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