\[\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 r95519 = x;
        double r95520 = y;
        double r95521 = r95519 * r95520;
        double r95522 = z;
        double r95523 = t;
        double r95524 = r95522 * r95523;
        double r95525 = r95521 - r95524;
        double r95526 = a;
        double r95527 = b;
        double r95528 = r95526 * r95527;
        double r95529 = c;
        double r95530 = i;
        double r95531 = r95529 * r95530;
        double r95532 = r95528 - r95531;
        double r95533 = r95525 * r95532;
        double r95534 = j;
        double r95535 = r95519 * r95534;
        double r95536 = k;
        double r95537 = r95522 * r95536;
        double r95538 = r95535 - r95537;
        double r95539 = y0;
        double r95540 = r95539 * r95527;
        double r95541 = y1;
        double r95542 = r95541 * r95530;
        double r95543 = r95540 - r95542;
        double r95544 = r95538 * r95543;
        double r95545 = r95533 - r95544;
        double r95546 = y2;
        double r95547 = r95519 * r95546;
        double r95548 = y3;
        double r95549 = r95522 * r95548;
        double r95550 = r95547 - r95549;
        double r95551 = r95539 * r95529;
        double r95552 = r95541 * r95526;
        double r95553 = r95551 - r95552;
        double r95554 = r95550 * r95553;
        double r95555 = r95545 + r95554;
        double r95556 = r95523 * r95534;
        double r95557 = r95520 * r95536;
        double r95558 = r95556 - r95557;
        double r95559 = y4;
        double r95560 = r95559 * r95527;
        double r95561 = y5;
        double r95562 = r95561 * r95530;
        double r95563 = r95560 - r95562;
        double r95564 = r95558 * r95563;
        double r95565 = r95555 + r95564;
        double r95566 = r95523 * r95546;
        double r95567 = r95520 * r95548;
        double r95568 = r95566 - r95567;
        double r95569 = r95559 * r95529;
        double r95570 = r95561 * r95526;
        double r95571 = r95569 - r95570;
        double r95572 = r95568 * r95571;
        double r95573 = r95565 - r95572;
        double r95574 = r95536 * r95546;
        double r95575 = r95534 * r95548;
        double r95576 = r95574 - r95575;
        double r95577 = r95559 * r95541;
        double r95578 = r95561 * r95539;
        double r95579 = r95577 - r95578;
        double r95580 = r95576 * r95579;
        double r95581 = r95573 + r95580;
        return r95581;
}

Reproduce

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