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 r3707919 = x;
        double r3707920 = y;
        double r3707921 = r3707919 * r3707920;
        double r3707922 = z;
        double r3707923 = t;
        double r3707924 = r3707922 * r3707923;
        double r3707925 = r3707921 - r3707924;
        double r3707926 = a;
        double r3707927 = b;
        double r3707928 = r3707926 * r3707927;
        double r3707929 = c;
        double r3707930 = i;
        double r3707931 = r3707929 * r3707930;
        double r3707932 = r3707928 - r3707931;
        double r3707933 = r3707925 * r3707932;
        double r3707934 = j;
        double r3707935 = r3707919 * r3707934;
        double r3707936 = k;
        double r3707937 = r3707922 * r3707936;
        double r3707938 = r3707935 - r3707937;
        double r3707939 = y0;
        double r3707940 = r3707939 * r3707927;
        double r3707941 = y1;
        double r3707942 = r3707941 * r3707930;
        double r3707943 = r3707940 - r3707942;
        double r3707944 = r3707938 * r3707943;
        double r3707945 = r3707933 - r3707944;
        double r3707946 = y2;
        double r3707947 = r3707919 * r3707946;
        double r3707948 = y3;
        double r3707949 = r3707922 * r3707948;
        double r3707950 = r3707947 - r3707949;
        double r3707951 = r3707939 * r3707929;
        double r3707952 = r3707941 * r3707926;
        double r3707953 = r3707951 - r3707952;
        double r3707954 = r3707950 * r3707953;
        double r3707955 = r3707945 + r3707954;
        double r3707956 = r3707923 * r3707934;
        double r3707957 = r3707920 * r3707936;
        double r3707958 = r3707956 - r3707957;
        double r3707959 = y4;
        double r3707960 = r3707959 * r3707927;
        double r3707961 = y5;
        double r3707962 = r3707961 * r3707930;
        double r3707963 = r3707960 - r3707962;
        double r3707964 = r3707958 * r3707963;
        double r3707965 = r3707955 + r3707964;
        double r3707966 = r3707923 * r3707946;
        double r3707967 = r3707920 * r3707948;
        double r3707968 = r3707966 - r3707967;
        double r3707969 = r3707959 * r3707929;
        double r3707970 = r3707961 * r3707926;
        double r3707971 = r3707969 - r3707970;
        double r3707972 = r3707968 * r3707971;
        double r3707973 = r3707965 - r3707972;
        double r3707974 = r3707936 * r3707946;
        double r3707975 = r3707934 * r3707948;
        double r3707976 = r3707974 - r3707975;
        double r3707977 = r3707959 * r3707941;
        double r3707978 = r3707961 * r3707939;
        double r3707979 = r3707977 - r3707978;
        double r3707980 = r3707976 * r3707979;
        double r3707981 = r3707973 + r3707980;
        return r3707981;
}

Reproduce

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