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 r9225225 = x;
        double r9225226 = y;
        double r9225227 = r9225225 * r9225226;
        double r9225228 = z;
        double r9225229 = t;
        double r9225230 = r9225228 * r9225229;
        double r9225231 = r9225227 - r9225230;
        double r9225232 = a;
        double r9225233 = b;
        double r9225234 = r9225232 * r9225233;
        double r9225235 = c;
        double r9225236 = i;
        double r9225237 = r9225235 * r9225236;
        double r9225238 = r9225234 - r9225237;
        double r9225239 = r9225231 * r9225238;
        double r9225240 = j;
        double r9225241 = r9225225 * r9225240;
        double r9225242 = k;
        double r9225243 = r9225228 * r9225242;
        double r9225244 = r9225241 - r9225243;
        double r9225245 = y0;
        double r9225246 = r9225245 * r9225233;
        double r9225247 = y1;
        double r9225248 = r9225247 * r9225236;
        double r9225249 = r9225246 - r9225248;
        double r9225250 = r9225244 * r9225249;
        double r9225251 = r9225239 - r9225250;
        double r9225252 = y2;
        double r9225253 = r9225225 * r9225252;
        double r9225254 = y3;
        double r9225255 = r9225228 * r9225254;
        double r9225256 = r9225253 - r9225255;
        double r9225257 = r9225245 * r9225235;
        double r9225258 = r9225247 * r9225232;
        double r9225259 = r9225257 - r9225258;
        double r9225260 = r9225256 * r9225259;
        double r9225261 = r9225251 + r9225260;
        double r9225262 = r9225229 * r9225240;
        double r9225263 = r9225226 * r9225242;
        double r9225264 = r9225262 - r9225263;
        double r9225265 = y4;
        double r9225266 = r9225265 * r9225233;
        double r9225267 = y5;
        double r9225268 = r9225267 * r9225236;
        double r9225269 = r9225266 - r9225268;
        double r9225270 = r9225264 * r9225269;
        double r9225271 = r9225261 + r9225270;
        double r9225272 = r9225229 * r9225252;
        double r9225273 = r9225226 * r9225254;
        double r9225274 = r9225272 - r9225273;
        double r9225275 = r9225265 * r9225235;
        double r9225276 = r9225267 * r9225232;
        double r9225277 = r9225275 - r9225276;
        double r9225278 = r9225274 * r9225277;
        double r9225279 = r9225271 - r9225278;
        double r9225280 = r9225242 * r9225252;
        double r9225281 = r9225240 * r9225254;
        double r9225282 = r9225280 - r9225281;
        double r9225283 = r9225265 * r9225247;
        double r9225284 = r9225267 * r9225245;
        double r9225285 = r9225283 - r9225284;
        double r9225286 = r9225282 * r9225285;
        double r9225287 = r9225279 + r9225286;
        return r9225287;
}

Reproduce

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