\[\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 r93258 = x;
        double r93259 = y;
        double r93260 = r93258 * r93259;
        double r93261 = z;
        double r93262 = t;
        double r93263 = r93261 * r93262;
        double r93264 = r93260 - r93263;
        double r93265 = a;
        double r93266 = b;
        double r93267 = r93265 * r93266;
        double r93268 = c;
        double r93269 = i;
        double r93270 = r93268 * r93269;
        double r93271 = r93267 - r93270;
        double r93272 = r93264 * r93271;
        double r93273 = j;
        double r93274 = r93258 * r93273;
        double r93275 = k;
        double r93276 = r93261 * r93275;
        double r93277 = r93274 - r93276;
        double r93278 = y0;
        double r93279 = r93278 * r93266;
        double r93280 = y1;
        double r93281 = r93280 * r93269;
        double r93282 = r93279 - r93281;
        double r93283 = r93277 * r93282;
        double r93284 = r93272 - r93283;
        double r93285 = y2;
        double r93286 = r93258 * r93285;
        double r93287 = y3;
        double r93288 = r93261 * r93287;
        double r93289 = r93286 - r93288;
        double r93290 = r93278 * r93268;
        double r93291 = r93280 * r93265;
        double r93292 = r93290 - r93291;
        double r93293 = r93289 * r93292;
        double r93294 = r93284 + r93293;
        double r93295 = r93262 * r93273;
        double r93296 = r93259 * r93275;
        double r93297 = r93295 - r93296;
        double r93298 = y4;
        double r93299 = r93298 * r93266;
        double r93300 = y5;
        double r93301 = r93300 * r93269;
        double r93302 = r93299 - r93301;
        double r93303 = r93297 * r93302;
        double r93304 = r93294 + r93303;
        double r93305 = r93262 * r93285;
        double r93306 = r93259 * r93287;
        double r93307 = r93305 - r93306;
        double r93308 = r93298 * r93268;
        double r93309 = r93300 * r93265;
        double r93310 = r93308 - r93309;
        double r93311 = r93307 * r93310;
        double r93312 = r93304 - r93311;
        double r93313 = r93275 * r93285;
        double r93314 = r93273 * r93287;
        double r93315 = r93313 - r93314;
        double r93316 = r93298 * r93280;
        double r93317 = r93300 * r93278;
        double r93318 = r93316 - r93317;
        double r93319 = r93315 * r93318;
        double r93320 = r93312 + r93319;
        return r93320;
}

Reproduce

herbie shell --seed 2019346 +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"
  :precision binary64
  (+ (- (+ (+ (- (* (- (* 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)))))

Timeout in 10.0m

Reproduce