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 r2922172 = x;
        double r2922173 = y;
        double r2922174 = r2922172 * r2922173;
        double r2922175 = z;
        double r2922176 = t;
        double r2922177 = r2922175 * r2922176;
        double r2922178 = r2922174 - r2922177;
        double r2922179 = a;
        double r2922180 = b;
        double r2922181 = r2922179 * r2922180;
        double r2922182 = c;
        double r2922183 = i;
        double r2922184 = r2922182 * r2922183;
        double r2922185 = r2922181 - r2922184;
        double r2922186 = r2922178 * r2922185;
        double r2922187 = j;
        double r2922188 = r2922172 * r2922187;
        double r2922189 = k;
        double r2922190 = r2922175 * r2922189;
        double r2922191 = r2922188 - r2922190;
        double r2922192 = y0;
        double r2922193 = r2922192 * r2922180;
        double r2922194 = y1;
        double r2922195 = r2922194 * r2922183;
        double r2922196 = r2922193 - r2922195;
        double r2922197 = r2922191 * r2922196;
        double r2922198 = r2922186 - r2922197;
        double r2922199 = y2;
        double r2922200 = r2922172 * r2922199;
        double r2922201 = y3;
        double r2922202 = r2922175 * r2922201;
        double r2922203 = r2922200 - r2922202;
        double r2922204 = r2922192 * r2922182;
        double r2922205 = r2922194 * r2922179;
        double r2922206 = r2922204 - r2922205;
        double r2922207 = r2922203 * r2922206;
        double r2922208 = r2922198 + r2922207;
        double r2922209 = r2922176 * r2922187;
        double r2922210 = r2922173 * r2922189;
        double r2922211 = r2922209 - r2922210;
        double r2922212 = y4;
        double r2922213 = r2922212 * r2922180;
        double r2922214 = y5;
        double r2922215 = r2922214 * r2922183;
        double r2922216 = r2922213 - r2922215;
        double r2922217 = r2922211 * r2922216;
        double r2922218 = r2922208 + r2922217;
        double r2922219 = r2922176 * r2922199;
        double r2922220 = r2922173 * r2922201;
        double r2922221 = r2922219 - r2922220;
        double r2922222 = r2922212 * r2922182;
        double r2922223 = r2922214 * r2922179;
        double r2922224 = r2922222 - r2922223;
        double r2922225 = r2922221 * r2922224;
        double r2922226 = r2922218 - r2922225;
        double r2922227 = r2922189 * r2922199;
        double r2922228 = r2922187 * r2922201;
        double r2922229 = r2922227 - r2922228;
        double r2922230 = r2922212 * r2922194;
        double r2922231 = r2922214 * r2922192;
        double r2922232 = r2922230 - r2922231;
        double r2922233 = r2922229 * r2922232;
        double r2922234 = r2922226 + r2922233;
        return r2922234;
}

Reproduce

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