\[\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 r97315 = x;
        double r97316 = y;
        double r97317 = r97315 * r97316;
        double r97318 = z;
        double r97319 = t;
        double r97320 = r97318 * r97319;
        double r97321 = r97317 - r97320;
        double r97322 = a;
        double r97323 = b;
        double r97324 = r97322 * r97323;
        double r97325 = c;
        double r97326 = i;
        double r97327 = r97325 * r97326;
        double r97328 = r97324 - r97327;
        double r97329 = r97321 * r97328;
        double r97330 = j;
        double r97331 = r97315 * r97330;
        double r97332 = k;
        double r97333 = r97318 * r97332;
        double r97334 = r97331 - r97333;
        double r97335 = y0;
        double r97336 = r97335 * r97323;
        double r97337 = y1;
        double r97338 = r97337 * r97326;
        double r97339 = r97336 - r97338;
        double r97340 = r97334 * r97339;
        double r97341 = r97329 - r97340;
        double r97342 = y2;
        double r97343 = r97315 * r97342;
        double r97344 = y3;
        double r97345 = r97318 * r97344;
        double r97346 = r97343 - r97345;
        double r97347 = r97335 * r97325;
        double r97348 = r97337 * r97322;
        double r97349 = r97347 - r97348;
        double r97350 = r97346 * r97349;
        double r97351 = r97341 + r97350;
        double r97352 = r97319 * r97330;
        double r97353 = r97316 * r97332;
        double r97354 = r97352 - r97353;
        double r97355 = y4;
        double r97356 = r97355 * r97323;
        double r97357 = y5;
        double r97358 = r97357 * r97326;
        double r97359 = r97356 - r97358;
        double r97360 = r97354 * r97359;
        double r97361 = r97351 + r97360;
        double r97362 = r97319 * r97342;
        double r97363 = r97316 * r97344;
        double r97364 = r97362 - r97363;
        double r97365 = r97355 * r97325;
        double r97366 = r97357 * r97322;
        double r97367 = r97365 - r97366;
        double r97368 = r97364 * r97367;
        double r97369 = r97361 - r97368;
        double r97370 = r97332 * r97342;
        double r97371 = r97330 * r97344;
        double r97372 = r97370 - r97371;
        double r97373 = r97355 * r97337;
        double r97374 = r97357 * r97335;
        double r97375 = r97373 - r97374;
        double r97376 = r97372 * r97375;
        double r97377 = r97369 + r97376;
        return r97377;
}

Reproduce

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