\[\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 r64988 = x;
        double r64989 = y;
        double r64990 = r64988 * r64989;
        double r64991 = z;
        double r64992 = t;
        double r64993 = r64991 * r64992;
        double r64994 = r64990 - r64993;
        double r64995 = a;
        double r64996 = b;
        double r64997 = r64995 * r64996;
        double r64998 = c;
        double r64999 = i;
        double r65000 = r64998 * r64999;
        double r65001 = r64997 - r65000;
        double r65002 = r64994 * r65001;
        double r65003 = j;
        double r65004 = r64988 * r65003;
        double r65005 = k;
        double r65006 = r64991 * r65005;
        double r65007 = r65004 - r65006;
        double r65008 = y0;
        double r65009 = r65008 * r64996;
        double r65010 = y1;
        double r65011 = r65010 * r64999;
        double r65012 = r65009 - r65011;
        double r65013 = r65007 * r65012;
        double r65014 = r65002 - r65013;
        double r65015 = y2;
        double r65016 = r64988 * r65015;
        double r65017 = y3;
        double r65018 = r64991 * r65017;
        double r65019 = r65016 - r65018;
        double r65020 = r65008 * r64998;
        double r65021 = r65010 * r64995;
        double r65022 = r65020 - r65021;
        double r65023 = r65019 * r65022;
        double r65024 = r65014 + r65023;
        double r65025 = r64992 * r65003;
        double r65026 = r64989 * r65005;
        double r65027 = r65025 - r65026;
        double r65028 = y4;
        double r65029 = r65028 * r64996;
        double r65030 = y5;
        double r65031 = r65030 * r64999;
        double r65032 = r65029 - r65031;
        double r65033 = r65027 * r65032;
        double r65034 = r65024 + r65033;
        double r65035 = r64992 * r65015;
        double r65036 = r64989 * r65017;
        double r65037 = r65035 - r65036;
        double r65038 = r65028 * r64998;
        double r65039 = r65030 * r64995;
        double r65040 = r65038 - r65039;
        double r65041 = r65037 * r65040;
        double r65042 = r65034 - r65041;
        double r65043 = r65005 * r65015;
        double r65044 = r65003 * r65017;
        double r65045 = r65043 - r65044;
        double r65046 = r65028 * r65010;
        double r65047 = r65030 * r65008;
        double r65048 = r65046 - r65047;
        double r65049 = r65045 * r65048;
        double r65050 = r65042 + r65049;
        return r65050;
}

Reproduce

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