\[\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 r98189 = x;
        double r98190 = y;
        double r98191 = r98189 * r98190;
        double r98192 = z;
        double r98193 = t;
        double r98194 = r98192 * r98193;
        double r98195 = r98191 - r98194;
        double r98196 = a;
        double r98197 = b;
        double r98198 = r98196 * r98197;
        double r98199 = c;
        double r98200 = i;
        double r98201 = r98199 * r98200;
        double r98202 = r98198 - r98201;
        double r98203 = r98195 * r98202;
        double r98204 = j;
        double r98205 = r98189 * r98204;
        double r98206 = k;
        double r98207 = r98192 * r98206;
        double r98208 = r98205 - r98207;
        double r98209 = y0;
        double r98210 = r98209 * r98197;
        double r98211 = y1;
        double r98212 = r98211 * r98200;
        double r98213 = r98210 - r98212;
        double r98214 = r98208 * r98213;
        double r98215 = r98203 - r98214;
        double r98216 = y2;
        double r98217 = r98189 * r98216;
        double r98218 = y3;
        double r98219 = r98192 * r98218;
        double r98220 = r98217 - r98219;
        double r98221 = r98209 * r98199;
        double r98222 = r98211 * r98196;
        double r98223 = r98221 - r98222;
        double r98224 = r98220 * r98223;
        double r98225 = r98215 + r98224;
        double r98226 = r98193 * r98204;
        double r98227 = r98190 * r98206;
        double r98228 = r98226 - r98227;
        double r98229 = y4;
        double r98230 = r98229 * r98197;
        double r98231 = y5;
        double r98232 = r98231 * r98200;
        double r98233 = r98230 - r98232;
        double r98234 = r98228 * r98233;
        double r98235 = r98225 + r98234;
        double r98236 = r98193 * r98216;
        double r98237 = r98190 * r98218;
        double r98238 = r98236 - r98237;
        double r98239 = r98229 * r98199;
        double r98240 = r98231 * r98196;
        double r98241 = r98239 - r98240;
        double r98242 = r98238 * r98241;
        double r98243 = r98235 - r98242;
        double r98244 = r98206 * r98216;
        double r98245 = r98204 * r98218;
        double r98246 = r98244 - r98245;
        double r98247 = r98229 * r98211;
        double r98248 = r98231 * r98209;
        double r98249 = r98247 - r98248;
        double r98250 = r98246 * r98249;
        double r98251 = r98243 + r98250;
        return r98251;
}

Reproduce

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