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 r3508150 = x;
        double r3508151 = y;
        double r3508152 = r3508150 * r3508151;
        double r3508153 = z;
        double r3508154 = t;
        double r3508155 = r3508153 * r3508154;
        double r3508156 = r3508152 - r3508155;
        double r3508157 = a;
        double r3508158 = b;
        double r3508159 = r3508157 * r3508158;
        double r3508160 = c;
        double r3508161 = i;
        double r3508162 = r3508160 * r3508161;
        double r3508163 = r3508159 - r3508162;
        double r3508164 = r3508156 * r3508163;
        double r3508165 = j;
        double r3508166 = r3508150 * r3508165;
        double r3508167 = k;
        double r3508168 = r3508153 * r3508167;
        double r3508169 = r3508166 - r3508168;
        double r3508170 = y0;
        double r3508171 = r3508170 * r3508158;
        double r3508172 = y1;
        double r3508173 = r3508172 * r3508161;
        double r3508174 = r3508171 - r3508173;
        double r3508175 = r3508169 * r3508174;
        double r3508176 = r3508164 - r3508175;
        double r3508177 = y2;
        double r3508178 = r3508150 * r3508177;
        double r3508179 = y3;
        double r3508180 = r3508153 * r3508179;
        double r3508181 = r3508178 - r3508180;
        double r3508182 = r3508170 * r3508160;
        double r3508183 = r3508172 * r3508157;
        double r3508184 = r3508182 - r3508183;
        double r3508185 = r3508181 * r3508184;
        double r3508186 = r3508176 + r3508185;
        double r3508187 = r3508154 * r3508165;
        double r3508188 = r3508151 * r3508167;
        double r3508189 = r3508187 - r3508188;
        double r3508190 = y4;
        double r3508191 = r3508190 * r3508158;
        double r3508192 = y5;
        double r3508193 = r3508192 * r3508161;
        double r3508194 = r3508191 - r3508193;
        double r3508195 = r3508189 * r3508194;
        double r3508196 = r3508186 + r3508195;
        double r3508197 = r3508154 * r3508177;
        double r3508198 = r3508151 * r3508179;
        double r3508199 = r3508197 - r3508198;
        double r3508200 = r3508190 * r3508160;
        double r3508201 = r3508192 * r3508157;
        double r3508202 = r3508200 - r3508201;
        double r3508203 = r3508199 * r3508202;
        double r3508204 = r3508196 - r3508203;
        double r3508205 = r3508167 * r3508177;
        double r3508206 = r3508165 * r3508179;
        double r3508207 = r3508205 - r3508206;
        double r3508208 = r3508190 * r3508172;
        double r3508209 = r3508192 * r3508170;
        double r3508210 = r3508208 - r3508209;
        double r3508211 = r3508207 * r3508210;
        double r3508212 = r3508204 + r3508211;
        return r3508212;
}

Reproduce

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