\[\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 r76310 = x;
        double r76311 = y;
        double r76312 = r76310 * r76311;
        double r76313 = z;
        double r76314 = t;
        double r76315 = r76313 * r76314;
        double r76316 = r76312 - r76315;
        double r76317 = a;
        double r76318 = b;
        double r76319 = r76317 * r76318;
        double r76320 = c;
        double r76321 = i;
        double r76322 = r76320 * r76321;
        double r76323 = r76319 - r76322;
        double r76324 = r76316 * r76323;
        double r76325 = j;
        double r76326 = r76310 * r76325;
        double r76327 = k;
        double r76328 = r76313 * r76327;
        double r76329 = r76326 - r76328;
        double r76330 = y0;
        double r76331 = r76330 * r76318;
        double r76332 = y1;
        double r76333 = r76332 * r76321;
        double r76334 = r76331 - r76333;
        double r76335 = r76329 * r76334;
        double r76336 = r76324 - r76335;
        double r76337 = y2;
        double r76338 = r76310 * r76337;
        double r76339 = y3;
        double r76340 = r76313 * r76339;
        double r76341 = r76338 - r76340;
        double r76342 = r76330 * r76320;
        double r76343 = r76332 * r76317;
        double r76344 = r76342 - r76343;
        double r76345 = r76341 * r76344;
        double r76346 = r76336 + r76345;
        double r76347 = r76314 * r76325;
        double r76348 = r76311 * r76327;
        double r76349 = r76347 - r76348;
        double r76350 = y4;
        double r76351 = r76350 * r76318;
        double r76352 = y5;
        double r76353 = r76352 * r76321;
        double r76354 = r76351 - r76353;
        double r76355 = r76349 * r76354;
        double r76356 = r76346 + r76355;
        double r76357 = r76314 * r76337;
        double r76358 = r76311 * r76339;
        double r76359 = r76357 - r76358;
        double r76360 = r76350 * r76320;
        double r76361 = r76352 * r76317;
        double r76362 = r76360 - r76361;
        double r76363 = r76359 * r76362;
        double r76364 = r76356 - r76363;
        double r76365 = r76327 * r76337;
        double r76366 = r76325 * r76339;
        double r76367 = r76365 - r76366;
        double r76368 = r76350 * r76332;
        double r76369 = r76352 * r76330;
        double r76370 = r76368 - r76369;
        double r76371 = r76367 * r76370;
        double r76372 = r76364 + r76371;
        return r76372;
}

Reproduce

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