\[\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 r92439 = x;
        double r92440 = y;
        double r92441 = r92439 * r92440;
        double r92442 = z;
        double r92443 = t;
        double r92444 = r92442 * r92443;
        double r92445 = r92441 - r92444;
        double r92446 = a;
        double r92447 = b;
        double r92448 = r92446 * r92447;
        double r92449 = c;
        double r92450 = i;
        double r92451 = r92449 * r92450;
        double r92452 = r92448 - r92451;
        double r92453 = r92445 * r92452;
        double r92454 = j;
        double r92455 = r92439 * r92454;
        double r92456 = k;
        double r92457 = r92442 * r92456;
        double r92458 = r92455 - r92457;
        double r92459 = y0;
        double r92460 = r92459 * r92447;
        double r92461 = y1;
        double r92462 = r92461 * r92450;
        double r92463 = r92460 - r92462;
        double r92464 = r92458 * r92463;
        double r92465 = r92453 - r92464;
        double r92466 = y2;
        double r92467 = r92439 * r92466;
        double r92468 = y3;
        double r92469 = r92442 * r92468;
        double r92470 = r92467 - r92469;
        double r92471 = r92459 * r92449;
        double r92472 = r92461 * r92446;
        double r92473 = r92471 - r92472;
        double r92474 = r92470 * r92473;
        double r92475 = r92465 + r92474;
        double r92476 = r92443 * r92454;
        double r92477 = r92440 * r92456;
        double r92478 = r92476 - r92477;
        double r92479 = y4;
        double r92480 = r92479 * r92447;
        double r92481 = y5;
        double r92482 = r92481 * r92450;
        double r92483 = r92480 - r92482;
        double r92484 = r92478 * r92483;
        double r92485 = r92475 + r92484;
        double r92486 = r92443 * r92466;
        double r92487 = r92440 * r92468;
        double r92488 = r92486 - r92487;
        double r92489 = r92479 * r92449;
        double r92490 = r92481 * r92446;
        double r92491 = r92489 - r92490;
        double r92492 = r92488 * r92491;
        double r92493 = r92485 - r92492;
        double r92494 = r92456 * r92466;
        double r92495 = r92454 * r92468;
        double r92496 = r92494 - r92495;
        double r92497 = r92479 * r92461;
        double r92498 = r92481 * r92459;
        double r92499 = r92497 - r92498;
        double r92500 = r92496 * r92499;
        double r92501 = r92493 + r92500;
        return r92501;
}

Reproduce

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