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 r3631866 = x;
        double r3631867 = y;
        double r3631868 = r3631866 * r3631867;
        double r3631869 = z;
        double r3631870 = t;
        double r3631871 = r3631869 * r3631870;
        double r3631872 = r3631868 - r3631871;
        double r3631873 = a;
        double r3631874 = b;
        double r3631875 = r3631873 * r3631874;
        double r3631876 = c;
        double r3631877 = i;
        double r3631878 = r3631876 * r3631877;
        double r3631879 = r3631875 - r3631878;
        double r3631880 = r3631872 * r3631879;
        double r3631881 = j;
        double r3631882 = r3631866 * r3631881;
        double r3631883 = k;
        double r3631884 = r3631869 * r3631883;
        double r3631885 = r3631882 - r3631884;
        double r3631886 = y0;
        double r3631887 = r3631886 * r3631874;
        double r3631888 = y1;
        double r3631889 = r3631888 * r3631877;
        double r3631890 = r3631887 - r3631889;
        double r3631891 = r3631885 * r3631890;
        double r3631892 = r3631880 - r3631891;
        double r3631893 = y2;
        double r3631894 = r3631866 * r3631893;
        double r3631895 = y3;
        double r3631896 = r3631869 * r3631895;
        double r3631897 = r3631894 - r3631896;
        double r3631898 = r3631886 * r3631876;
        double r3631899 = r3631888 * r3631873;
        double r3631900 = r3631898 - r3631899;
        double r3631901 = r3631897 * r3631900;
        double r3631902 = r3631892 + r3631901;
        double r3631903 = r3631870 * r3631881;
        double r3631904 = r3631867 * r3631883;
        double r3631905 = r3631903 - r3631904;
        double r3631906 = y4;
        double r3631907 = r3631906 * r3631874;
        double r3631908 = y5;
        double r3631909 = r3631908 * r3631877;
        double r3631910 = r3631907 - r3631909;
        double r3631911 = r3631905 * r3631910;
        double r3631912 = r3631902 + r3631911;
        double r3631913 = r3631870 * r3631893;
        double r3631914 = r3631867 * r3631895;
        double r3631915 = r3631913 - r3631914;
        double r3631916 = r3631906 * r3631876;
        double r3631917 = r3631908 * r3631873;
        double r3631918 = r3631916 - r3631917;
        double r3631919 = r3631915 * r3631918;
        double r3631920 = r3631912 - r3631919;
        double r3631921 = r3631883 * r3631893;
        double r3631922 = r3631881 * r3631895;
        double r3631923 = r3631921 - r3631922;
        double r3631924 = r3631906 * r3631888;
        double r3631925 = r3631908 * r3631886;
        double r3631926 = r3631924 - r3631925;
        double r3631927 = r3631923 * r3631926;
        double r3631928 = r3631920 + r3631927;
        return r3631928;
}

Reproduce

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