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 r84000 = x;
        double r84001 = y;
        double r84002 = r84000 * r84001;
        double r84003 = z;
        double r84004 = t;
        double r84005 = r84003 * r84004;
        double r84006 = r84002 - r84005;
        double r84007 = a;
        double r84008 = b;
        double r84009 = r84007 * r84008;
        double r84010 = c;
        double r84011 = i;
        double r84012 = r84010 * r84011;
        double r84013 = r84009 - r84012;
        double r84014 = r84006 * r84013;
        double r84015 = j;
        double r84016 = r84000 * r84015;
        double r84017 = k;
        double r84018 = r84003 * r84017;
        double r84019 = r84016 - r84018;
        double r84020 = y0;
        double r84021 = r84020 * r84008;
        double r84022 = y1;
        double r84023 = r84022 * r84011;
        double r84024 = r84021 - r84023;
        double r84025 = r84019 * r84024;
        double r84026 = r84014 - r84025;
        double r84027 = y2;
        double r84028 = r84000 * r84027;
        double r84029 = y3;
        double r84030 = r84003 * r84029;
        double r84031 = r84028 - r84030;
        double r84032 = r84020 * r84010;
        double r84033 = r84022 * r84007;
        double r84034 = r84032 - r84033;
        double r84035 = r84031 * r84034;
        double r84036 = r84026 + r84035;
        double r84037 = r84004 * r84015;
        double r84038 = r84001 * r84017;
        double r84039 = r84037 - r84038;
        double r84040 = y4;
        double r84041 = r84040 * r84008;
        double r84042 = y5;
        double r84043 = r84042 * r84011;
        double r84044 = r84041 - r84043;
        double r84045 = r84039 * r84044;
        double r84046 = r84036 + r84045;
        double r84047 = r84004 * r84027;
        double r84048 = r84001 * r84029;
        double r84049 = r84047 - r84048;
        double r84050 = r84040 * r84010;
        double r84051 = r84042 * r84007;
        double r84052 = r84050 - r84051;
        double r84053 = r84049 * r84052;
        double r84054 = r84046 - r84053;
        double r84055 = r84017 * r84027;
        double r84056 = r84015 * r84029;
        double r84057 = r84055 - r84056;
        double r84058 = r84040 * r84022;
        double r84059 = r84042 * r84020;
        double r84060 = r84058 - r84059;
        double r84061 = r84057 * r84060;
        double r84062 = r84054 + r84061;
        return r84062;
}

Reproduce

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