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 r3362814 = x;
        double r3362815 = y;
        double r3362816 = r3362814 * r3362815;
        double r3362817 = z;
        double r3362818 = t;
        double r3362819 = r3362817 * r3362818;
        double r3362820 = r3362816 - r3362819;
        double r3362821 = a;
        double r3362822 = b;
        double r3362823 = r3362821 * r3362822;
        double r3362824 = c;
        double r3362825 = i;
        double r3362826 = r3362824 * r3362825;
        double r3362827 = r3362823 - r3362826;
        double r3362828 = r3362820 * r3362827;
        double r3362829 = j;
        double r3362830 = r3362814 * r3362829;
        double r3362831 = k;
        double r3362832 = r3362817 * r3362831;
        double r3362833 = r3362830 - r3362832;
        double r3362834 = y0;
        double r3362835 = r3362834 * r3362822;
        double r3362836 = y1;
        double r3362837 = r3362836 * r3362825;
        double r3362838 = r3362835 - r3362837;
        double r3362839 = r3362833 * r3362838;
        double r3362840 = r3362828 - r3362839;
        double r3362841 = y2;
        double r3362842 = r3362814 * r3362841;
        double r3362843 = y3;
        double r3362844 = r3362817 * r3362843;
        double r3362845 = r3362842 - r3362844;
        double r3362846 = r3362834 * r3362824;
        double r3362847 = r3362836 * r3362821;
        double r3362848 = r3362846 - r3362847;
        double r3362849 = r3362845 * r3362848;
        double r3362850 = r3362840 + r3362849;
        double r3362851 = r3362818 * r3362829;
        double r3362852 = r3362815 * r3362831;
        double r3362853 = r3362851 - r3362852;
        double r3362854 = y4;
        double r3362855 = r3362854 * r3362822;
        double r3362856 = y5;
        double r3362857 = r3362856 * r3362825;
        double r3362858 = r3362855 - r3362857;
        double r3362859 = r3362853 * r3362858;
        double r3362860 = r3362850 + r3362859;
        double r3362861 = r3362818 * r3362841;
        double r3362862 = r3362815 * r3362843;
        double r3362863 = r3362861 - r3362862;
        double r3362864 = r3362854 * r3362824;
        double r3362865 = r3362856 * r3362821;
        double r3362866 = r3362864 - r3362865;
        double r3362867 = r3362863 * r3362866;
        double r3362868 = r3362860 - r3362867;
        double r3362869 = r3362831 * r3362841;
        double r3362870 = r3362829 * r3362843;
        double r3362871 = r3362869 - r3362870;
        double r3362872 = r3362854 * r3362836;
        double r3362873 = r3362856 * r3362834;
        double r3362874 = r3362872 - r3362873;
        double r3362875 = r3362871 * r3362874;
        double r3362876 = r3362868 + r3362875;
        return r3362876;
}

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)))))