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 r100823 = x;
        double r100824 = y;
        double r100825 = r100823 * r100824;
        double r100826 = z;
        double r100827 = t;
        double r100828 = r100826 * r100827;
        double r100829 = r100825 - r100828;
        double r100830 = a;
        double r100831 = b;
        double r100832 = r100830 * r100831;
        double r100833 = c;
        double r100834 = i;
        double r100835 = r100833 * r100834;
        double r100836 = r100832 - r100835;
        double r100837 = r100829 * r100836;
        double r100838 = j;
        double r100839 = r100823 * r100838;
        double r100840 = k;
        double r100841 = r100826 * r100840;
        double r100842 = r100839 - r100841;
        double r100843 = y0;
        double r100844 = r100843 * r100831;
        double r100845 = y1;
        double r100846 = r100845 * r100834;
        double r100847 = r100844 - r100846;
        double r100848 = r100842 * r100847;
        double r100849 = r100837 - r100848;
        double r100850 = y2;
        double r100851 = r100823 * r100850;
        double r100852 = y3;
        double r100853 = r100826 * r100852;
        double r100854 = r100851 - r100853;
        double r100855 = r100843 * r100833;
        double r100856 = r100845 * r100830;
        double r100857 = r100855 - r100856;
        double r100858 = r100854 * r100857;
        double r100859 = r100849 + r100858;
        double r100860 = r100827 * r100838;
        double r100861 = r100824 * r100840;
        double r100862 = r100860 - r100861;
        double r100863 = y4;
        double r100864 = r100863 * r100831;
        double r100865 = y5;
        double r100866 = r100865 * r100834;
        double r100867 = r100864 - r100866;
        double r100868 = r100862 * r100867;
        double r100869 = r100859 + r100868;
        double r100870 = r100827 * r100850;
        double r100871 = r100824 * r100852;
        double r100872 = r100870 - r100871;
        double r100873 = r100863 * r100833;
        double r100874 = r100865 * r100830;
        double r100875 = r100873 - r100874;
        double r100876 = r100872 * r100875;
        double r100877 = r100869 - r100876;
        double r100878 = r100840 * r100850;
        double r100879 = r100838 * r100852;
        double r100880 = r100878 - r100879;
        double r100881 = r100863 * r100845;
        double r100882 = r100865 * r100843;
        double r100883 = r100881 - r100882;
        double r100884 = r100880 * r100883;
        double r100885 = r100877 + r100884;
        return r100885;
}

Reproduce

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