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 r107799 = x;
        double r107800 = y;
        double r107801 = r107799 * r107800;
        double r107802 = z;
        double r107803 = t;
        double r107804 = r107802 * r107803;
        double r107805 = r107801 - r107804;
        double r107806 = a;
        double r107807 = b;
        double r107808 = r107806 * r107807;
        double r107809 = c;
        double r107810 = i;
        double r107811 = r107809 * r107810;
        double r107812 = r107808 - r107811;
        double r107813 = r107805 * r107812;
        double r107814 = j;
        double r107815 = r107799 * r107814;
        double r107816 = k;
        double r107817 = r107802 * r107816;
        double r107818 = r107815 - r107817;
        double r107819 = y0;
        double r107820 = r107819 * r107807;
        double r107821 = y1;
        double r107822 = r107821 * r107810;
        double r107823 = r107820 - r107822;
        double r107824 = r107818 * r107823;
        double r107825 = r107813 - r107824;
        double r107826 = y2;
        double r107827 = r107799 * r107826;
        double r107828 = y3;
        double r107829 = r107802 * r107828;
        double r107830 = r107827 - r107829;
        double r107831 = r107819 * r107809;
        double r107832 = r107821 * r107806;
        double r107833 = r107831 - r107832;
        double r107834 = r107830 * r107833;
        double r107835 = r107825 + r107834;
        double r107836 = r107803 * r107814;
        double r107837 = r107800 * r107816;
        double r107838 = r107836 - r107837;
        double r107839 = y4;
        double r107840 = r107839 * r107807;
        double r107841 = y5;
        double r107842 = r107841 * r107810;
        double r107843 = r107840 - r107842;
        double r107844 = r107838 * r107843;
        double r107845 = r107835 + r107844;
        double r107846 = r107803 * r107826;
        double r107847 = r107800 * r107828;
        double r107848 = r107846 - r107847;
        double r107849 = r107839 * r107809;
        double r107850 = r107841 * r107806;
        double r107851 = r107849 - r107850;
        double r107852 = r107848 * r107851;
        double r107853 = r107845 - r107852;
        double r107854 = r107816 * r107826;
        double r107855 = r107814 * r107828;
        double r107856 = r107854 - r107855;
        double r107857 = r107839 * r107821;
        double r107858 = r107841 * r107819;
        double r107859 = r107857 - r107858;
        double r107860 = r107856 * r107859;
        double r107861 = r107853 + r107860;
        return r107861;
}

Reproduce

herbie shell --seed 2019354 +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"
  :precision binary64
  (+ (- (+ (+ (- (* (- (* 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)))))