\[\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 r76008 = x;
        double r76009 = y;
        double r76010 = r76008 * r76009;
        double r76011 = z;
        double r76012 = t;
        double r76013 = r76011 * r76012;
        double r76014 = r76010 - r76013;
        double r76015 = a;
        double r76016 = b;
        double r76017 = r76015 * r76016;
        double r76018 = c;
        double r76019 = i;
        double r76020 = r76018 * r76019;
        double r76021 = r76017 - r76020;
        double r76022 = r76014 * r76021;
        double r76023 = j;
        double r76024 = r76008 * r76023;
        double r76025 = k;
        double r76026 = r76011 * r76025;
        double r76027 = r76024 - r76026;
        double r76028 = y0;
        double r76029 = r76028 * r76016;
        double r76030 = y1;
        double r76031 = r76030 * r76019;
        double r76032 = r76029 - r76031;
        double r76033 = r76027 * r76032;
        double r76034 = r76022 - r76033;
        double r76035 = y2;
        double r76036 = r76008 * r76035;
        double r76037 = y3;
        double r76038 = r76011 * r76037;
        double r76039 = r76036 - r76038;
        double r76040 = r76028 * r76018;
        double r76041 = r76030 * r76015;
        double r76042 = r76040 - r76041;
        double r76043 = r76039 * r76042;
        double r76044 = r76034 + r76043;
        double r76045 = r76012 * r76023;
        double r76046 = r76009 * r76025;
        double r76047 = r76045 - r76046;
        double r76048 = y4;
        double r76049 = r76048 * r76016;
        double r76050 = y5;
        double r76051 = r76050 * r76019;
        double r76052 = r76049 - r76051;
        double r76053 = r76047 * r76052;
        double r76054 = r76044 + r76053;
        double r76055 = r76012 * r76035;
        double r76056 = r76009 * r76037;
        double r76057 = r76055 - r76056;
        double r76058 = r76048 * r76018;
        double r76059 = r76050 * r76015;
        double r76060 = r76058 - r76059;
        double r76061 = r76057 * r76060;
        double r76062 = r76054 - r76061;
        double r76063 = r76025 * r76035;
        double r76064 = r76023 * r76037;
        double r76065 = r76063 - r76064;
        double r76066 = r76048 * r76030;
        double r76067 = r76050 * r76028;
        double r76068 = r76066 - r76067;
        double r76069 = r76065 * r76068;
        double r76070 = r76062 + r76069;
        return r76070;
}

Reproduce

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