\[\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 r67557 = x;
        double r67558 = y;
        double r67559 = r67557 * r67558;
        double r67560 = z;
        double r67561 = t;
        double r67562 = r67560 * r67561;
        double r67563 = r67559 - r67562;
        double r67564 = a;
        double r67565 = b;
        double r67566 = r67564 * r67565;
        double r67567 = c;
        double r67568 = i;
        double r67569 = r67567 * r67568;
        double r67570 = r67566 - r67569;
        double r67571 = r67563 * r67570;
        double r67572 = j;
        double r67573 = r67557 * r67572;
        double r67574 = k;
        double r67575 = r67560 * r67574;
        double r67576 = r67573 - r67575;
        double r67577 = y0;
        double r67578 = r67577 * r67565;
        double r67579 = y1;
        double r67580 = r67579 * r67568;
        double r67581 = r67578 - r67580;
        double r67582 = r67576 * r67581;
        double r67583 = r67571 - r67582;
        double r67584 = y2;
        double r67585 = r67557 * r67584;
        double r67586 = y3;
        double r67587 = r67560 * r67586;
        double r67588 = r67585 - r67587;
        double r67589 = r67577 * r67567;
        double r67590 = r67579 * r67564;
        double r67591 = r67589 - r67590;
        double r67592 = r67588 * r67591;
        double r67593 = r67583 + r67592;
        double r67594 = r67561 * r67572;
        double r67595 = r67558 * r67574;
        double r67596 = r67594 - r67595;
        double r67597 = y4;
        double r67598 = r67597 * r67565;
        double r67599 = y5;
        double r67600 = r67599 * r67568;
        double r67601 = r67598 - r67600;
        double r67602 = r67596 * r67601;
        double r67603 = r67593 + r67602;
        double r67604 = r67561 * r67584;
        double r67605 = r67558 * r67586;
        double r67606 = r67604 - r67605;
        double r67607 = r67597 * r67567;
        double r67608 = r67599 * r67564;
        double r67609 = r67607 - r67608;
        double r67610 = r67606 * r67609;
        double r67611 = r67603 - r67610;
        double r67612 = r67574 * r67584;
        double r67613 = r67572 * r67586;
        double r67614 = r67612 - r67613;
        double r67615 = r67597 * r67579;
        double r67616 = r67599 * r67577;
        double r67617 = r67615 - r67616;
        double r67618 = r67614 * r67617;
        double r67619 = r67611 + r67618;
        return r67619;
}

Reproduce

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