\[\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 r67093 = x;
        double r67094 = y;
        double r67095 = r67093 * r67094;
        double r67096 = z;
        double r67097 = t;
        double r67098 = r67096 * r67097;
        double r67099 = r67095 - r67098;
        double r67100 = a;
        double r67101 = b;
        double r67102 = r67100 * r67101;
        double r67103 = c;
        double r67104 = i;
        double r67105 = r67103 * r67104;
        double r67106 = r67102 - r67105;
        double r67107 = r67099 * r67106;
        double r67108 = j;
        double r67109 = r67093 * r67108;
        double r67110 = k;
        double r67111 = r67096 * r67110;
        double r67112 = r67109 - r67111;
        double r67113 = y0;
        double r67114 = r67113 * r67101;
        double r67115 = y1;
        double r67116 = r67115 * r67104;
        double r67117 = r67114 - r67116;
        double r67118 = r67112 * r67117;
        double r67119 = r67107 - r67118;
        double r67120 = y2;
        double r67121 = r67093 * r67120;
        double r67122 = y3;
        double r67123 = r67096 * r67122;
        double r67124 = r67121 - r67123;
        double r67125 = r67113 * r67103;
        double r67126 = r67115 * r67100;
        double r67127 = r67125 - r67126;
        double r67128 = r67124 * r67127;
        double r67129 = r67119 + r67128;
        double r67130 = r67097 * r67108;
        double r67131 = r67094 * r67110;
        double r67132 = r67130 - r67131;
        double r67133 = y4;
        double r67134 = r67133 * r67101;
        double r67135 = y5;
        double r67136 = r67135 * r67104;
        double r67137 = r67134 - r67136;
        double r67138 = r67132 * r67137;
        double r67139 = r67129 + r67138;
        double r67140 = r67097 * r67120;
        double r67141 = r67094 * r67122;
        double r67142 = r67140 - r67141;
        double r67143 = r67133 * r67103;
        double r67144 = r67135 * r67100;
        double r67145 = r67143 - r67144;
        double r67146 = r67142 * r67145;
        double r67147 = r67139 - r67146;
        double r67148 = r67110 * r67120;
        double r67149 = r67108 * r67122;
        double r67150 = r67148 - r67149;
        double r67151 = r67133 * r67115;
        double r67152 = r67135 * r67113;
        double r67153 = r67151 - r67152;
        double r67154 = r67150 * r67153;
        double r67155 = r67147 + r67154;
        return r67155;
}

Reproduce

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