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 r102792 = x;
        double r102793 = y;
        double r102794 = r102792 * r102793;
        double r102795 = z;
        double r102796 = t;
        double r102797 = r102795 * r102796;
        double r102798 = r102794 - r102797;
        double r102799 = a;
        double r102800 = b;
        double r102801 = r102799 * r102800;
        double r102802 = c;
        double r102803 = i;
        double r102804 = r102802 * r102803;
        double r102805 = r102801 - r102804;
        double r102806 = r102798 * r102805;
        double r102807 = j;
        double r102808 = r102792 * r102807;
        double r102809 = k;
        double r102810 = r102795 * r102809;
        double r102811 = r102808 - r102810;
        double r102812 = y0;
        double r102813 = r102812 * r102800;
        double r102814 = y1;
        double r102815 = r102814 * r102803;
        double r102816 = r102813 - r102815;
        double r102817 = r102811 * r102816;
        double r102818 = r102806 - r102817;
        double r102819 = y2;
        double r102820 = r102792 * r102819;
        double r102821 = y3;
        double r102822 = r102795 * r102821;
        double r102823 = r102820 - r102822;
        double r102824 = r102812 * r102802;
        double r102825 = r102814 * r102799;
        double r102826 = r102824 - r102825;
        double r102827 = r102823 * r102826;
        double r102828 = r102818 + r102827;
        double r102829 = r102796 * r102807;
        double r102830 = r102793 * r102809;
        double r102831 = r102829 - r102830;
        double r102832 = y4;
        double r102833 = r102832 * r102800;
        double r102834 = y5;
        double r102835 = r102834 * r102803;
        double r102836 = r102833 - r102835;
        double r102837 = r102831 * r102836;
        double r102838 = r102828 + r102837;
        double r102839 = r102796 * r102819;
        double r102840 = r102793 * r102821;
        double r102841 = r102839 - r102840;
        double r102842 = r102832 * r102802;
        double r102843 = r102834 * r102799;
        double r102844 = r102842 - r102843;
        double r102845 = r102841 * r102844;
        double r102846 = r102838 - r102845;
        double r102847 = r102809 * r102819;
        double r102848 = r102807 * r102821;
        double r102849 = r102847 - r102848;
        double r102850 = r102832 * r102814;
        double r102851 = r102834 * r102812;
        double r102852 = r102850 - r102851;
        double r102853 = r102849 * r102852;
        double r102854 = r102846 + r102853;
        return r102854;
}

Reproduce

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