\[\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 r99311 = x;
        double r99312 = y;
        double r99313 = r99311 * r99312;
        double r99314 = z;
        double r99315 = t;
        double r99316 = r99314 * r99315;
        double r99317 = r99313 - r99316;
        double r99318 = a;
        double r99319 = b;
        double r99320 = r99318 * r99319;
        double r99321 = c;
        double r99322 = i;
        double r99323 = r99321 * r99322;
        double r99324 = r99320 - r99323;
        double r99325 = r99317 * r99324;
        double r99326 = j;
        double r99327 = r99311 * r99326;
        double r99328 = k;
        double r99329 = r99314 * r99328;
        double r99330 = r99327 - r99329;
        double r99331 = y0;
        double r99332 = r99331 * r99319;
        double r99333 = y1;
        double r99334 = r99333 * r99322;
        double r99335 = r99332 - r99334;
        double r99336 = r99330 * r99335;
        double r99337 = r99325 - r99336;
        double r99338 = y2;
        double r99339 = r99311 * r99338;
        double r99340 = y3;
        double r99341 = r99314 * r99340;
        double r99342 = r99339 - r99341;
        double r99343 = r99331 * r99321;
        double r99344 = r99333 * r99318;
        double r99345 = r99343 - r99344;
        double r99346 = r99342 * r99345;
        double r99347 = r99337 + r99346;
        double r99348 = r99315 * r99326;
        double r99349 = r99312 * r99328;
        double r99350 = r99348 - r99349;
        double r99351 = y4;
        double r99352 = r99351 * r99319;
        double r99353 = y5;
        double r99354 = r99353 * r99322;
        double r99355 = r99352 - r99354;
        double r99356 = r99350 * r99355;
        double r99357 = r99347 + r99356;
        double r99358 = r99315 * r99338;
        double r99359 = r99312 * r99340;
        double r99360 = r99358 - r99359;
        double r99361 = r99351 * r99321;
        double r99362 = r99353 * r99318;
        double r99363 = r99361 - r99362;
        double r99364 = r99360 * r99363;
        double r99365 = r99357 - r99364;
        double r99366 = r99328 * r99338;
        double r99367 = r99326 * r99340;
        double r99368 = r99366 - r99367;
        double r99369 = r99351 * r99333;
        double r99370 = r99353 * r99331;
        double r99371 = r99369 - r99370;
        double r99372 = r99368 * r99371;
        double r99373 = r99365 + r99372;
        return r99373;
}

Reproduce

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