\[\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 r73334 = x;
        double r73335 = y;
        double r73336 = r73334 * r73335;
        double r73337 = z;
        double r73338 = t;
        double r73339 = r73337 * r73338;
        double r73340 = r73336 - r73339;
        double r73341 = a;
        double r73342 = b;
        double r73343 = r73341 * r73342;
        double r73344 = c;
        double r73345 = i;
        double r73346 = r73344 * r73345;
        double r73347 = r73343 - r73346;
        double r73348 = r73340 * r73347;
        double r73349 = j;
        double r73350 = r73334 * r73349;
        double r73351 = k;
        double r73352 = r73337 * r73351;
        double r73353 = r73350 - r73352;
        double r73354 = y0;
        double r73355 = r73354 * r73342;
        double r73356 = y1;
        double r73357 = r73356 * r73345;
        double r73358 = r73355 - r73357;
        double r73359 = r73353 * r73358;
        double r73360 = r73348 - r73359;
        double r73361 = y2;
        double r73362 = r73334 * r73361;
        double r73363 = y3;
        double r73364 = r73337 * r73363;
        double r73365 = r73362 - r73364;
        double r73366 = r73354 * r73344;
        double r73367 = r73356 * r73341;
        double r73368 = r73366 - r73367;
        double r73369 = r73365 * r73368;
        double r73370 = r73360 + r73369;
        double r73371 = r73338 * r73349;
        double r73372 = r73335 * r73351;
        double r73373 = r73371 - r73372;
        double r73374 = y4;
        double r73375 = r73374 * r73342;
        double r73376 = y5;
        double r73377 = r73376 * r73345;
        double r73378 = r73375 - r73377;
        double r73379 = r73373 * r73378;
        double r73380 = r73370 + r73379;
        double r73381 = r73338 * r73361;
        double r73382 = r73335 * r73363;
        double r73383 = r73381 - r73382;
        double r73384 = r73374 * r73344;
        double r73385 = r73376 * r73341;
        double r73386 = r73384 - r73385;
        double r73387 = r73383 * r73386;
        double r73388 = r73380 - r73387;
        double r73389 = r73351 * r73361;
        double r73390 = r73349 * r73363;
        double r73391 = r73389 - r73390;
        double r73392 = r73374 * r73356;
        double r73393 = r73376 * r73354;
        double r73394 = r73392 - r73393;
        double r73395 = r73391 * r73394;
        double r73396 = r73388 + r73395;
        return r73396;
}

Reproduce

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