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 r5012191 = x;
        double r5012192 = y;
        double r5012193 = r5012191 * r5012192;
        double r5012194 = z;
        double r5012195 = t;
        double r5012196 = r5012194 * r5012195;
        double r5012197 = r5012193 - r5012196;
        double r5012198 = a;
        double r5012199 = b;
        double r5012200 = r5012198 * r5012199;
        double r5012201 = c;
        double r5012202 = i;
        double r5012203 = r5012201 * r5012202;
        double r5012204 = r5012200 - r5012203;
        double r5012205 = r5012197 * r5012204;
        double r5012206 = j;
        double r5012207 = r5012191 * r5012206;
        double r5012208 = k;
        double r5012209 = r5012194 * r5012208;
        double r5012210 = r5012207 - r5012209;
        double r5012211 = y0;
        double r5012212 = r5012211 * r5012199;
        double r5012213 = y1;
        double r5012214 = r5012213 * r5012202;
        double r5012215 = r5012212 - r5012214;
        double r5012216 = r5012210 * r5012215;
        double r5012217 = r5012205 - r5012216;
        double r5012218 = y2;
        double r5012219 = r5012191 * r5012218;
        double r5012220 = y3;
        double r5012221 = r5012194 * r5012220;
        double r5012222 = r5012219 - r5012221;
        double r5012223 = r5012211 * r5012201;
        double r5012224 = r5012213 * r5012198;
        double r5012225 = r5012223 - r5012224;
        double r5012226 = r5012222 * r5012225;
        double r5012227 = r5012217 + r5012226;
        double r5012228 = r5012195 * r5012206;
        double r5012229 = r5012192 * r5012208;
        double r5012230 = r5012228 - r5012229;
        double r5012231 = y4;
        double r5012232 = r5012231 * r5012199;
        double r5012233 = y5;
        double r5012234 = r5012233 * r5012202;
        double r5012235 = r5012232 - r5012234;
        double r5012236 = r5012230 * r5012235;
        double r5012237 = r5012227 + r5012236;
        double r5012238 = r5012195 * r5012218;
        double r5012239 = r5012192 * r5012220;
        double r5012240 = r5012238 - r5012239;
        double r5012241 = r5012231 * r5012201;
        double r5012242 = r5012233 * r5012198;
        double r5012243 = r5012241 - r5012242;
        double r5012244 = r5012240 * r5012243;
        double r5012245 = r5012237 - r5012244;
        double r5012246 = r5012208 * r5012218;
        double r5012247 = r5012206 * r5012220;
        double r5012248 = r5012246 - r5012247;
        double r5012249 = r5012231 * r5012213;
        double r5012250 = r5012233 * r5012211;
        double r5012251 = r5012249 - r5012250;
        double r5012252 = r5012248 * r5012251;
        double r5012253 = r5012245 + r5012252;
        return r5012253;
}

Reproduce

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