\[\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 r68093 = x;
        double r68094 = y;
        double r68095 = r68093 * r68094;
        double r68096 = z;
        double r68097 = t;
        double r68098 = r68096 * r68097;
        double r68099 = r68095 - r68098;
        double r68100 = a;
        double r68101 = b;
        double r68102 = r68100 * r68101;
        double r68103 = c;
        double r68104 = i;
        double r68105 = r68103 * r68104;
        double r68106 = r68102 - r68105;
        double r68107 = r68099 * r68106;
        double r68108 = j;
        double r68109 = r68093 * r68108;
        double r68110 = k;
        double r68111 = r68096 * r68110;
        double r68112 = r68109 - r68111;
        double r68113 = y0;
        double r68114 = r68113 * r68101;
        double r68115 = y1;
        double r68116 = r68115 * r68104;
        double r68117 = r68114 - r68116;
        double r68118 = r68112 * r68117;
        double r68119 = r68107 - r68118;
        double r68120 = y2;
        double r68121 = r68093 * r68120;
        double r68122 = y3;
        double r68123 = r68096 * r68122;
        double r68124 = r68121 - r68123;
        double r68125 = r68113 * r68103;
        double r68126 = r68115 * r68100;
        double r68127 = r68125 - r68126;
        double r68128 = r68124 * r68127;
        double r68129 = r68119 + r68128;
        double r68130 = r68097 * r68108;
        double r68131 = r68094 * r68110;
        double r68132 = r68130 - r68131;
        double r68133 = y4;
        double r68134 = r68133 * r68101;
        double r68135 = y5;
        double r68136 = r68135 * r68104;
        double r68137 = r68134 - r68136;
        double r68138 = r68132 * r68137;
        double r68139 = r68129 + r68138;
        double r68140 = r68097 * r68120;
        double r68141 = r68094 * r68122;
        double r68142 = r68140 - r68141;
        double r68143 = r68133 * r68103;
        double r68144 = r68135 * r68100;
        double r68145 = r68143 - r68144;
        double r68146 = r68142 * r68145;
        double r68147 = r68139 - r68146;
        double r68148 = r68110 * r68120;
        double r68149 = r68108 * r68122;
        double r68150 = r68148 - r68149;
        double r68151 = r68133 * r68115;
        double r68152 = r68135 * r68113;
        double r68153 = r68151 - r68152;
        double r68154 = r68150 * r68153;
        double r68155 = r68147 + r68154;
        return r68155;
}

Reproduce

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