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 r3508847 = x;
        double r3508848 = y;
        double r3508849 = r3508847 * r3508848;
        double r3508850 = z;
        double r3508851 = t;
        double r3508852 = r3508850 * r3508851;
        double r3508853 = r3508849 - r3508852;
        double r3508854 = a;
        double r3508855 = b;
        double r3508856 = r3508854 * r3508855;
        double r3508857 = c;
        double r3508858 = i;
        double r3508859 = r3508857 * r3508858;
        double r3508860 = r3508856 - r3508859;
        double r3508861 = r3508853 * r3508860;
        double r3508862 = j;
        double r3508863 = r3508847 * r3508862;
        double r3508864 = k;
        double r3508865 = r3508850 * r3508864;
        double r3508866 = r3508863 - r3508865;
        double r3508867 = y0;
        double r3508868 = r3508867 * r3508855;
        double r3508869 = y1;
        double r3508870 = r3508869 * r3508858;
        double r3508871 = r3508868 - r3508870;
        double r3508872 = r3508866 * r3508871;
        double r3508873 = r3508861 - r3508872;
        double r3508874 = y2;
        double r3508875 = r3508847 * r3508874;
        double r3508876 = y3;
        double r3508877 = r3508850 * r3508876;
        double r3508878 = r3508875 - r3508877;
        double r3508879 = r3508867 * r3508857;
        double r3508880 = r3508869 * r3508854;
        double r3508881 = r3508879 - r3508880;
        double r3508882 = r3508878 * r3508881;
        double r3508883 = r3508873 + r3508882;
        double r3508884 = r3508851 * r3508862;
        double r3508885 = r3508848 * r3508864;
        double r3508886 = r3508884 - r3508885;
        double r3508887 = y4;
        double r3508888 = r3508887 * r3508855;
        double r3508889 = y5;
        double r3508890 = r3508889 * r3508858;
        double r3508891 = r3508888 - r3508890;
        double r3508892 = r3508886 * r3508891;
        double r3508893 = r3508883 + r3508892;
        double r3508894 = r3508851 * r3508874;
        double r3508895 = r3508848 * r3508876;
        double r3508896 = r3508894 - r3508895;
        double r3508897 = r3508887 * r3508857;
        double r3508898 = r3508889 * r3508854;
        double r3508899 = r3508897 - r3508898;
        double r3508900 = r3508896 * r3508899;
        double r3508901 = r3508893 - r3508900;
        double r3508902 = r3508864 * r3508874;
        double r3508903 = r3508862 * r3508876;
        double r3508904 = r3508902 - r3508903;
        double r3508905 = r3508887 * r3508869;
        double r3508906 = r3508889 * r3508867;
        double r3508907 = r3508905 - r3508906;
        double r3508908 = r3508904 * r3508907;
        double r3508909 = r3508901 + r3508908;
        return r3508909;
}

Reproduce

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