\[\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 r31450 = x;
        double r31451 = y;
        double r31452 = r31450 * r31451;
        double r31453 = z;
        double r31454 = t;
        double r31455 = r31453 * r31454;
        double r31456 = r31452 - r31455;
        double r31457 = a;
        double r31458 = b;
        double r31459 = r31457 * r31458;
        double r31460 = c;
        double r31461 = i;
        double r31462 = r31460 * r31461;
        double r31463 = r31459 - r31462;
        double r31464 = r31456 * r31463;
        double r31465 = j;
        double r31466 = r31450 * r31465;
        double r31467 = k;
        double r31468 = r31453 * r31467;
        double r31469 = r31466 - r31468;
        double r31470 = y0;
        double r31471 = r31470 * r31458;
        double r31472 = y1;
        double r31473 = r31472 * r31461;
        double r31474 = r31471 - r31473;
        double r31475 = r31469 * r31474;
        double r31476 = r31464 - r31475;
        double r31477 = y2;
        double r31478 = r31450 * r31477;
        double r31479 = y3;
        double r31480 = r31453 * r31479;
        double r31481 = r31478 - r31480;
        double r31482 = r31470 * r31460;
        double r31483 = r31472 * r31457;
        double r31484 = r31482 - r31483;
        double r31485 = r31481 * r31484;
        double r31486 = r31476 + r31485;
        double r31487 = r31454 * r31465;
        double r31488 = r31451 * r31467;
        double r31489 = r31487 - r31488;
        double r31490 = y4;
        double r31491 = r31490 * r31458;
        double r31492 = y5;
        double r31493 = r31492 * r31461;
        double r31494 = r31491 - r31493;
        double r31495 = r31489 * r31494;
        double r31496 = r31486 + r31495;
        double r31497 = r31454 * r31477;
        double r31498 = r31451 * r31479;
        double r31499 = r31497 - r31498;
        double r31500 = r31490 * r31460;
        double r31501 = r31492 * r31457;
        double r31502 = r31500 - r31501;
        double r31503 = r31499 * r31502;
        double r31504 = r31496 - r31503;
        double r31505 = r31467 * r31477;
        double r31506 = r31465 * r31479;
        double r31507 = r31505 - r31506;
        double r31508 = r31490 * r31472;
        double r31509 = r31492 * r31470;
        double r31510 = r31508 - r31509;
        double r31511 = r31507 * r31510;
        double r31512 = r31504 + r31511;
        return r31512;
}

Reproduce

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