\[\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 r75194 = x;
        double r75195 = y;
        double r75196 = r75194 * r75195;
        double r75197 = z;
        double r75198 = t;
        double r75199 = r75197 * r75198;
        double r75200 = r75196 - r75199;
        double r75201 = a;
        double r75202 = b;
        double r75203 = r75201 * r75202;
        double r75204 = c;
        double r75205 = i;
        double r75206 = r75204 * r75205;
        double r75207 = r75203 - r75206;
        double r75208 = r75200 * r75207;
        double r75209 = j;
        double r75210 = r75194 * r75209;
        double r75211 = k;
        double r75212 = r75197 * r75211;
        double r75213 = r75210 - r75212;
        double r75214 = y0;
        double r75215 = r75214 * r75202;
        double r75216 = y1;
        double r75217 = r75216 * r75205;
        double r75218 = r75215 - r75217;
        double r75219 = r75213 * r75218;
        double r75220 = r75208 - r75219;
        double r75221 = y2;
        double r75222 = r75194 * r75221;
        double r75223 = y3;
        double r75224 = r75197 * r75223;
        double r75225 = r75222 - r75224;
        double r75226 = r75214 * r75204;
        double r75227 = r75216 * r75201;
        double r75228 = r75226 - r75227;
        double r75229 = r75225 * r75228;
        double r75230 = r75220 + r75229;
        double r75231 = r75198 * r75209;
        double r75232 = r75195 * r75211;
        double r75233 = r75231 - r75232;
        double r75234 = y4;
        double r75235 = r75234 * r75202;
        double r75236 = y5;
        double r75237 = r75236 * r75205;
        double r75238 = r75235 - r75237;
        double r75239 = r75233 * r75238;
        double r75240 = r75230 + r75239;
        double r75241 = r75198 * r75221;
        double r75242 = r75195 * r75223;
        double r75243 = r75241 - r75242;
        double r75244 = r75234 * r75204;
        double r75245 = r75236 * r75201;
        double r75246 = r75244 - r75245;
        double r75247 = r75243 * r75246;
        double r75248 = r75240 - r75247;
        double r75249 = r75211 * r75221;
        double r75250 = r75209 * r75223;
        double r75251 = r75249 - r75250;
        double r75252 = r75234 * r75216;
        double r75253 = r75236 * r75214;
        double r75254 = r75252 - r75253;
        double r75255 = r75251 * r75254;
        double r75256 = r75248 + r75255;
        return r75256;
}

Reproduce

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