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 r4116866 = x;
        double r4116867 = y;
        double r4116868 = r4116866 * r4116867;
        double r4116869 = z;
        double r4116870 = t;
        double r4116871 = r4116869 * r4116870;
        double r4116872 = r4116868 - r4116871;
        double r4116873 = a;
        double r4116874 = b;
        double r4116875 = r4116873 * r4116874;
        double r4116876 = c;
        double r4116877 = i;
        double r4116878 = r4116876 * r4116877;
        double r4116879 = r4116875 - r4116878;
        double r4116880 = r4116872 * r4116879;
        double r4116881 = j;
        double r4116882 = r4116866 * r4116881;
        double r4116883 = k;
        double r4116884 = r4116869 * r4116883;
        double r4116885 = r4116882 - r4116884;
        double r4116886 = y0;
        double r4116887 = r4116886 * r4116874;
        double r4116888 = y1;
        double r4116889 = r4116888 * r4116877;
        double r4116890 = r4116887 - r4116889;
        double r4116891 = r4116885 * r4116890;
        double r4116892 = r4116880 - r4116891;
        double r4116893 = y2;
        double r4116894 = r4116866 * r4116893;
        double r4116895 = y3;
        double r4116896 = r4116869 * r4116895;
        double r4116897 = r4116894 - r4116896;
        double r4116898 = r4116886 * r4116876;
        double r4116899 = r4116888 * r4116873;
        double r4116900 = r4116898 - r4116899;
        double r4116901 = r4116897 * r4116900;
        double r4116902 = r4116892 + r4116901;
        double r4116903 = r4116870 * r4116881;
        double r4116904 = r4116867 * r4116883;
        double r4116905 = r4116903 - r4116904;
        double r4116906 = y4;
        double r4116907 = r4116906 * r4116874;
        double r4116908 = y5;
        double r4116909 = r4116908 * r4116877;
        double r4116910 = r4116907 - r4116909;
        double r4116911 = r4116905 * r4116910;
        double r4116912 = r4116902 + r4116911;
        double r4116913 = r4116870 * r4116893;
        double r4116914 = r4116867 * r4116895;
        double r4116915 = r4116913 - r4116914;
        double r4116916 = r4116906 * r4116876;
        double r4116917 = r4116908 * r4116873;
        double r4116918 = r4116916 - r4116917;
        double r4116919 = r4116915 * r4116918;
        double r4116920 = r4116912 - r4116919;
        double r4116921 = r4116883 * r4116893;
        double r4116922 = r4116881 * r4116895;
        double r4116923 = r4116921 - r4116922;
        double r4116924 = r4116906 * r4116888;
        double r4116925 = r4116908 * r4116886;
        double r4116926 = r4116924 - r4116925;
        double r4116927 = r4116923 * r4116926;
        double r4116928 = r4116920 + r4116927;
        return r4116928;
}

Reproduce

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