\[\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 r63551 = x;
        double r63552 = y;
        double r63553 = r63551 * r63552;
        double r63554 = z;
        double r63555 = t;
        double r63556 = r63554 * r63555;
        double r63557 = r63553 - r63556;
        double r63558 = a;
        double r63559 = b;
        double r63560 = r63558 * r63559;
        double r63561 = c;
        double r63562 = i;
        double r63563 = r63561 * r63562;
        double r63564 = r63560 - r63563;
        double r63565 = r63557 * r63564;
        double r63566 = j;
        double r63567 = r63551 * r63566;
        double r63568 = k;
        double r63569 = r63554 * r63568;
        double r63570 = r63567 - r63569;
        double r63571 = y0;
        double r63572 = r63571 * r63559;
        double r63573 = y1;
        double r63574 = r63573 * r63562;
        double r63575 = r63572 - r63574;
        double r63576 = r63570 * r63575;
        double r63577 = r63565 - r63576;
        double r63578 = y2;
        double r63579 = r63551 * r63578;
        double r63580 = y3;
        double r63581 = r63554 * r63580;
        double r63582 = r63579 - r63581;
        double r63583 = r63571 * r63561;
        double r63584 = r63573 * r63558;
        double r63585 = r63583 - r63584;
        double r63586 = r63582 * r63585;
        double r63587 = r63577 + r63586;
        double r63588 = r63555 * r63566;
        double r63589 = r63552 * r63568;
        double r63590 = r63588 - r63589;
        double r63591 = y4;
        double r63592 = r63591 * r63559;
        double r63593 = y5;
        double r63594 = r63593 * r63562;
        double r63595 = r63592 - r63594;
        double r63596 = r63590 * r63595;
        double r63597 = r63587 + r63596;
        double r63598 = r63555 * r63578;
        double r63599 = r63552 * r63580;
        double r63600 = r63598 - r63599;
        double r63601 = r63591 * r63561;
        double r63602 = r63593 * r63558;
        double r63603 = r63601 - r63602;
        double r63604 = r63600 * r63603;
        double r63605 = r63597 - r63604;
        double r63606 = r63568 * r63578;
        double r63607 = r63566 * r63580;
        double r63608 = r63606 - r63607;
        double r63609 = r63591 * r63573;
        double r63610 = r63593 * r63571;
        double r63611 = r63609 - r63610;
        double r63612 = r63608 * r63611;
        double r63613 = r63605 + r63612;
        return r63613;
}

Reproduce

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