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 r4795092 = x;
        double r4795093 = y;
        double r4795094 = r4795092 * r4795093;
        double r4795095 = z;
        double r4795096 = t;
        double r4795097 = r4795095 * r4795096;
        double r4795098 = r4795094 - r4795097;
        double r4795099 = a;
        double r4795100 = b;
        double r4795101 = r4795099 * r4795100;
        double r4795102 = c;
        double r4795103 = i;
        double r4795104 = r4795102 * r4795103;
        double r4795105 = r4795101 - r4795104;
        double r4795106 = r4795098 * r4795105;
        double r4795107 = j;
        double r4795108 = r4795092 * r4795107;
        double r4795109 = k;
        double r4795110 = r4795095 * r4795109;
        double r4795111 = r4795108 - r4795110;
        double r4795112 = y0;
        double r4795113 = r4795112 * r4795100;
        double r4795114 = y1;
        double r4795115 = r4795114 * r4795103;
        double r4795116 = r4795113 - r4795115;
        double r4795117 = r4795111 * r4795116;
        double r4795118 = r4795106 - r4795117;
        double r4795119 = y2;
        double r4795120 = r4795092 * r4795119;
        double r4795121 = y3;
        double r4795122 = r4795095 * r4795121;
        double r4795123 = r4795120 - r4795122;
        double r4795124 = r4795112 * r4795102;
        double r4795125 = r4795114 * r4795099;
        double r4795126 = r4795124 - r4795125;
        double r4795127 = r4795123 * r4795126;
        double r4795128 = r4795118 + r4795127;
        double r4795129 = r4795096 * r4795107;
        double r4795130 = r4795093 * r4795109;
        double r4795131 = r4795129 - r4795130;
        double r4795132 = y4;
        double r4795133 = r4795132 * r4795100;
        double r4795134 = y5;
        double r4795135 = r4795134 * r4795103;
        double r4795136 = r4795133 - r4795135;
        double r4795137 = r4795131 * r4795136;
        double r4795138 = r4795128 + r4795137;
        double r4795139 = r4795096 * r4795119;
        double r4795140 = r4795093 * r4795121;
        double r4795141 = r4795139 - r4795140;
        double r4795142 = r4795132 * r4795102;
        double r4795143 = r4795134 * r4795099;
        double r4795144 = r4795142 - r4795143;
        double r4795145 = r4795141 * r4795144;
        double r4795146 = r4795138 - r4795145;
        double r4795147 = r4795109 * r4795119;
        double r4795148 = r4795107 * r4795121;
        double r4795149 = r4795147 - r4795148;
        double r4795150 = r4795132 * r4795114;
        double r4795151 = r4795134 * r4795112;
        double r4795152 = r4795150 - r4795151;
        double r4795153 = r4795149 * r4795152;
        double r4795154 = r4795146 + r4795153;
        return r4795154;
}

Reproduce

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