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 r3626120 = x;
        double r3626121 = y;
        double r3626122 = r3626120 * r3626121;
        double r3626123 = z;
        double r3626124 = t;
        double r3626125 = r3626123 * r3626124;
        double r3626126 = r3626122 - r3626125;
        double r3626127 = a;
        double r3626128 = b;
        double r3626129 = r3626127 * r3626128;
        double r3626130 = c;
        double r3626131 = i;
        double r3626132 = r3626130 * r3626131;
        double r3626133 = r3626129 - r3626132;
        double r3626134 = r3626126 * r3626133;
        double r3626135 = j;
        double r3626136 = r3626120 * r3626135;
        double r3626137 = k;
        double r3626138 = r3626123 * r3626137;
        double r3626139 = r3626136 - r3626138;
        double r3626140 = y0;
        double r3626141 = r3626140 * r3626128;
        double r3626142 = y1;
        double r3626143 = r3626142 * r3626131;
        double r3626144 = r3626141 - r3626143;
        double r3626145 = r3626139 * r3626144;
        double r3626146 = r3626134 - r3626145;
        double r3626147 = y2;
        double r3626148 = r3626120 * r3626147;
        double r3626149 = y3;
        double r3626150 = r3626123 * r3626149;
        double r3626151 = r3626148 - r3626150;
        double r3626152 = r3626140 * r3626130;
        double r3626153 = r3626142 * r3626127;
        double r3626154 = r3626152 - r3626153;
        double r3626155 = r3626151 * r3626154;
        double r3626156 = r3626146 + r3626155;
        double r3626157 = r3626124 * r3626135;
        double r3626158 = r3626121 * r3626137;
        double r3626159 = r3626157 - r3626158;
        double r3626160 = y4;
        double r3626161 = r3626160 * r3626128;
        double r3626162 = y5;
        double r3626163 = r3626162 * r3626131;
        double r3626164 = r3626161 - r3626163;
        double r3626165 = r3626159 * r3626164;
        double r3626166 = r3626156 + r3626165;
        double r3626167 = r3626124 * r3626147;
        double r3626168 = r3626121 * r3626149;
        double r3626169 = r3626167 - r3626168;
        double r3626170 = r3626160 * r3626130;
        double r3626171 = r3626162 * r3626127;
        double r3626172 = r3626170 - r3626171;
        double r3626173 = r3626169 * r3626172;
        double r3626174 = r3626166 - r3626173;
        double r3626175 = r3626137 * r3626147;
        double r3626176 = r3626135 * r3626149;
        double r3626177 = r3626175 - r3626176;
        double r3626178 = r3626160 * r3626142;
        double r3626179 = r3626162 * r3626140;
        double r3626180 = r3626178 - r3626179;
        double r3626181 = r3626177 * r3626180;
        double r3626182 = r3626174 + r3626181;
        return r3626182;
}

Reproduce

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