\[\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 r86961 = x;
        double r86962 = y;
        double r86963 = r86961 * r86962;
        double r86964 = z;
        double r86965 = t;
        double r86966 = r86964 * r86965;
        double r86967 = r86963 - r86966;
        double r86968 = a;
        double r86969 = b;
        double r86970 = r86968 * r86969;
        double r86971 = c;
        double r86972 = i;
        double r86973 = r86971 * r86972;
        double r86974 = r86970 - r86973;
        double r86975 = r86967 * r86974;
        double r86976 = j;
        double r86977 = r86961 * r86976;
        double r86978 = k;
        double r86979 = r86964 * r86978;
        double r86980 = r86977 - r86979;
        double r86981 = y0;
        double r86982 = r86981 * r86969;
        double r86983 = y1;
        double r86984 = r86983 * r86972;
        double r86985 = r86982 - r86984;
        double r86986 = r86980 * r86985;
        double r86987 = r86975 - r86986;
        double r86988 = y2;
        double r86989 = r86961 * r86988;
        double r86990 = y3;
        double r86991 = r86964 * r86990;
        double r86992 = r86989 - r86991;
        double r86993 = r86981 * r86971;
        double r86994 = r86983 * r86968;
        double r86995 = r86993 - r86994;
        double r86996 = r86992 * r86995;
        double r86997 = r86987 + r86996;
        double r86998 = r86965 * r86976;
        double r86999 = r86962 * r86978;
        double r87000 = r86998 - r86999;
        double r87001 = y4;
        double r87002 = r87001 * r86969;
        double r87003 = y5;
        double r87004 = r87003 * r86972;
        double r87005 = r87002 - r87004;
        double r87006 = r87000 * r87005;
        double r87007 = r86997 + r87006;
        double r87008 = r86965 * r86988;
        double r87009 = r86962 * r86990;
        double r87010 = r87008 - r87009;
        double r87011 = r87001 * r86971;
        double r87012 = r87003 * r86968;
        double r87013 = r87011 - r87012;
        double r87014 = r87010 * r87013;
        double r87015 = r87007 - r87014;
        double r87016 = r86978 * r86988;
        double r87017 = r86976 * r86990;
        double r87018 = r87016 - r87017;
        double r87019 = r87001 * r86983;
        double r87020 = r87003 * r86981;
        double r87021 = r87019 - r87020;
        double r87022 = r87018 * r87021;
        double r87023 = r87015 + r87022;
        return r87023;
}

Reproduce

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