\[\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 r99146 = x;
        double r99147 = y;
        double r99148 = r99146 * r99147;
        double r99149 = z;
        double r99150 = t;
        double r99151 = r99149 * r99150;
        double r99152 = r99148 - r99151;
        double r99153 = a;
        double r99154 = b;
        double r99155 = r99153 * r99154;
        double r99156 = c;
        double r99157 = i;
        double r99158 = r99156 * r99157;
        double r99159 = r99155 - r99158;
        double r99160 = r99152 * r99159;
        double r99161 = j;
        double r99162 = r99146 * r99161;
        double r99163 = k;
        double r99164 = r99149 * r99163;
        double r99165 = r99162 - r99164;
        double r99166 = y0;
        double r99167 = r99166 * r99154;
        double r99168 = y1;
        double r99169 = r99168 * r99157;
        double r99170 = r99167 - r99169;
        double r99171 = r99165 * r99170;
        double r99172 = r99160 - r99171;
        double r99173 = y2;
        double r99174 = r99146 * r99173;
        double r99175 = y3;
        double r99176 = r99149 * r99175;
        double r99177 = r99174 - r99176;
        double r99178 = r99166 * r99156;
        double r99179 = r99168 * r99153;
        double r99180 = r99178 - r99179;
        double r99181 = r99177 * r99180;
        double r99182 = r99172 + r99181;
        double r99183 = r99150 * r99161;
        double r99184 = r99147 * r99163;
        double r99185 = r99183 - r99184;
        double r99186 = y4;
        double r99187 = r99186 * r99154;
        double r99188 = y5;
        double r99189 = r99188 * r99157;
        double r99190 = r99187 - r99189;
        double r99191 = r99185 * r99190;
        double r99192 = r99182 + r99191;
        double r99193 = r99150 * r99173;
        double r99194 = r99147 * r99175;
        double r99195 = r99193 - r99194;
        double r99196 = r99186 * r99156;
        double r99197 = r99188 * r99153;
        double r99198 = r99196 - r99197;
        double r99199 = r99195 * r99198;
        double r99200 = r99192 - r99199;
        double r99201 = r99163 * r99173;
        double r99202 = r99161 * r99175;
        double r99203 = r99201 - r99202;
        double r99204 = r99186 * r99168;
        double r99205 = r99188 * r99166;
        double r99206 = r99204 - r99205;
        double r99207 = r99203 * r99206;
        double r99208 = r99200 + r99207;
        return r99208;
}

Reproduce

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