Linear.Matrix:det44 from linear-1.19.1.3

Average Error: 26.7 → 29.5

Time: 1.9min

Precision: binary64

Math

\[\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) \]

↓

\[\begin{array}{l} t_1 := y1 \cdot \left(y2 \cdot x\right)\\ t_2 := y0 \cdot \left(y2 \cdot x\right)\\ t_3 := y0 \cdot c - y1 \cdot a\\ t_4 := y0 \cdot \left(z \cdot b\right)\\ t_5 := b \cdot \left(j \cdot x\right)\\ t_6 := t \cdot \left(j \cdot b\right)\\ t_7 := i \cdot \left(y \cdot x\right)\\ t_8 := y \cdot x - z \cdot t\\ t_9 := y2 \cdot t - y3 \cdot y\\ t_10 := t \cdot \left(y2 \cdot y5\right)\\ t_11 := y \cdot \left(i \cdot x\right)\\ t_12 := a \cdot b - c \cdot i\\ t_13 := k \cdot y2 - j \cdot y3\\ t_14 := k \cdot \left(y \cdot \left(y5 \cdot i\right)\right)\\ t_15 := i \cdot \left(z \cdot t\right)\\ t_16 := t \cdot \left(z \cdot b\right)\\ t_17 := k \cdot \left(i \cdot \left(y5 \cdot y\right)\right)\\ t_18 := c \cdot \mathsf{fma}\left(y4, y3 \cdot y, t_15\right) + t_17\\ t_19 := y4 \cdot \left(y2 \cdot t\right)\\ t_20 := i \cdot \left(j \cdot x\right)\\ t_21 := t \cdot \left(j \cdot y5\right)\\ t_22 := j \cdot x - z \cdot k\\ t_23 := y5 \cdot a - y4 \cdot c\\ t_24 := y1 \cdot i - y0 \cdot b\\ t_25 := a \cdot \left(y2 \cdot x\right)\\ t_26 := a \cdot \left(b \cdot x\right)\\ t_27 := a \cdot \left(z \cdot y3\right)\\ t_28 := y1 \cdot \left(z \cdot i\right)\\ t_29 := y1 \cdot y4 - y0 \cdot y5\\ t_30 := \mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(t_9, t_23, z \cdot \left(\mathsf{fma}\left(k, y0 \cdot b, \mathsf{fma}\left(y1, y3 \cdot a, c \cdot \left(t \cdot i\right)\right)\right) - \mathsf{fma}\left(c, y3 \cdot y0, \mathsf{fma}\left(k, y1 \cdot i, a \cdot \left(t \cdot b\right)\right)\right)\right)\right)\right)\\ t_31 := y0 \cdot \left(z \cdot y3\right)\\ t_32 := y4 \cdot \left(y \cdot b\right)\\ t_33 := k \cdot t_32\\ t_34 := k \cdot \mathsf{fma}\left(i, z \cdot y1, t_32\right)\\ t_35 := y2 \cdot x - z \cdot y3\\ t_36 := j \cdot \left(b \cdot x\right)\\ \mathbf{if}\;z \leq -9.889690195310615 \cdot 10^{+122}:\\ \;\;\;\;t_30\\ \mathbf{elif}\;z \leq -1.4319518254780635 \cdot 10^{-42}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(a, t_10, \mathsf{fma}\left(c, t_2, \mathsf{fma}\left(y, t_26, \mathsf{fma}\left(k, t_4, \mathsf{fma}\left(a, y1 \cdot \left(z \cdot y3\right), t_18\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, t_31, a \cdot \mathsf{fma}\left(y, y3 \cdot y5, t_1\right) + \mathsf{fma}\left(c, t_7, \mathsf{fma}\left(a, t_16, \mathsf{fma}\left(c, t_19, t_34\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -1.7976088564314313 \cdot 10^{-87}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(a, t_10, \mathsf{fma}\left(c, t_2, \mathsf{fma}\left(y, t_26, \mathsf{fma}\left(k, t_4, \mathsf{fma}\left(y1, t_20, \mathsf{fma}\left(y1, t_27, \mathsf{fma}\left(c, t_15, t_17\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, t_31, \mathsf{fma}\left(y, a \cdot \left(y3 \cdot y5\right), \mathsf{fma}\left(a, t_1, \mathsf{fma}\left(y0, t_5, \mathsf{fma}\left(c, t_11, \mathsf{fma}\left(a, t_16, \mathsf{fma}\left(i, t_21, k \cdot t_28\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -7.887039867547132 \cdot 10^{-153}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(t_9, t_23, \mathsf{fma}\left(t_8, t_12, \mathsf{fma}\left(t_22, t_24, \mathsf{fma}\left(t_35, t_3, \mathsf{fma}\left(y4, t_6, t_17\right) - \mathsf{fma}\left(i, t_21, t_33\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -4.1979346316806844 \cdot 10^{-185}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(t_9, t_23, \mathsf{fma}\left(t_8, t_12, y4 \cdot \left(t_6 - k \cdot \left(y \cdot b\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -2.964585741499648 \cdot 10^{-210}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(k, t_4, \mathsf{fma}\left(c, t_2, \mathsf{fma}\left(y4, t_6, \mathsf{fma}\left(i, y1 \cdot \left(j \cdot x\right), t_18\right)\right)\right)\right) - \mathsf{fma}\left(c, t_31, \mathsf{fma}\left(y0, t_5, \mathsf{fma}\left(c, t_7, \mathsf{fma}\left(c, t_19, \mathsf{fma}\left(i, t_21, t_34\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -3.359482660201687 \cdot 10^{-247}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(t_9, t_23, \mathsf{fma}\left(t_8, t_12, \mathsf{fma}\left(t_22, t_24, \mathsf{fma}\left(t_35, t_3, \left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -7.963750252517817 \cdot 10^{-290}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(t_9, t_23, \mathsf{fma}\left(t_8, t_12, \mathsf{fma}\left(c, t_2, \mathsf{fma}\left(y1, t_27, \mathsf{fma}\left(y4, t_6, k \cdot t_4\right)\right)\right) - \mathsf{fma}\left(c, t_31, \mathsf{fma}\left(y1, t_25, \mathsf{fma}\left(y0, t_36, t_33\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 2.5488787504143058 \cdot 10^{-303}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, i \cdot \left(\mathsf{fma}\left(k, y5 \cdot y, \mathsf{fma}\left(y1, j \cdot x, c \cdot \left(z \cdot t\right)\right)\right) - \mathsf{fma}\left(c, y \cdot x, \mathsf{fma}\left(t, j \cdot y5, k \cdot \left(z \cdot y1\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 5.85002236908907 \cdot 10^{-199}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(t_9, t_23, \mathsf{fma}\left(k, t_4, \mathsf{fma}\left(c, t_2, \mathsf{fma}\left(a, y \cdot \left(b \cdot x\right), \mathsf{fma}\left(y1, t_27, \mathsf{fma}\left(c, t_15, t_14\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, t_31, \mathsf{fma}\left(a, t_1, \mathsf{fma}\left(c, t_11, \mathsf{fma}\left(a, t_16, k \cdot \mathsf{fma}\left(y1, z \cdot i, t_32\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 2.91805611483236 \cdot 10^{+97}:\\ \;\;\;\;\mathsf{fma}\left(t_13, t_29, \mathsf{fma}\left(t_9, t_23, \mathsf{fma}\left(t_8, t_12, \mathsf{fma}\left(c, t_2, \mathsf{fma}\left(k, t_4, \mathsf{fma}\left(y4, t_6, \mathsf{fma}\left(y1, t_20, \mathsf{fma}\left(y1, t_27, t_14\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, t_31, \mathsf{fma}\left(y1, t_25, \mathsf{fma}\left(y0, t_36, \mathsf{fma}\left(i, t_21, k \cdot \left(t_32 + t_28\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_30\\ \end{array} \]

FPCore

(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
 :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)))))

↓

(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
 :precision binary64
 (let* ((t_1 (* y1 (* y2 x)))
        (t_2 (* y0 (* y2 x)))
        (t_3 (- (* y0 c) (* y1 a)))
        (t_4 (* y0 (* z b)))
        (t_5 (* b (* j x)))
        (t_6 (* t (* j b)))
        (t_7 (* i (* y x)))
        (t_8 (- (* y x) (* z t)))
        (t_9 (- (* y2 t) (* y3 y)))
        (t_10 (* t (* y2 y5)))
        (t_11 (* y (* i x)))
        (t_12 (- (* a b) (* c i)))
        (t_13 (- (* k y2) (* j y3)))
        (t_14 (* k (* y (* y5 i))))
        (t_15 (* i (* z t)))
        (t_16 (* t (* z b)))
        (t_17 (* k (* i (* y5 y))))
        (t_18 (+ (* c (fma y4 (* y3 y) t_15)) t_17))
        (t_19 (* y4 (* y2 t)))
        (t_20 (* i (* j x)))
        (t_21 (* t (* j y5)))
        (t_22 (- (* j x) (* z k)))
        (t_23 (- (* y5 a) (* y4 c)))
        (t_24 (- (* y1 i) (* y0 b)))
        (t_25 (* a (* y2 x)))
        (t_26 (* a (* b x)))
        (t_27 (* a (* z y3)))
        (t_28 (* y1 (* z i)))
        (t_29 (- (* y1 y4) (* y0 y5)))
        (t_30
         (fma
          t_13
          t_29
          (fma
           t_9
           t_23
           (*
            z
            (-
             (fma k (* y0 b) (fma y1 (* y3 a) (* c (* t i))))
             (fma c (* y3 y0) (fma k (* y1 i) (* a (* t b)))))))))
        (t_31 (* y0 (* z y3)))
        (t_32 (* y4 (* y b)))
        (t_33 (* k t_32))
        (t_34 (* k (fma i (* z y1) t_32)))
        (t_35 (- (* y2 x) (* z y3)))
        (t_36 (* j (* b x))))
   (if (<= z -9.889690195310615e+122)
     t_30
     (if (<= z -1.4319518254780635e-42)
       (fma
        t_13
        t_29
        (-
         (fma
          a
          t_10
          (fma c t_2 (fma y t_26 (fma k t_4 (fma a (* y1 (* z y3)) t_18)))))
         (fma
          c
          t_31
          (+
           (* a (fma y (* y3 y5) t_1))
           (fma c t_7 (fma a t_16 (fma c t_19 t_34)))))))
       (if (<= z -1.7976088564314313e-87)
         (fma
          t_13
          t_29
          (-
           (fma
            a
            t_10
            (fma
             c
             t_2
             (fma
              y
              t_26
              (fma k t_4 (fma y1 t_20 (fma y1 t_27 (fma c t_15 t_17)))))))
           (fma
            c
            t_31
            (fma
             y
             (* a (* y3 y5))
             (fma
              a
              t_1
              (fma
               y0
               t_5
               (fma c t_11 (fma a t_16 (fma i t_21 (* k t_28))))))))))
         (if (<= z -7.887039867547132e-153)
           (fma
            t_13
            t_29
            (fma
             t_9
             t_23
             (fma
              t_8
              t_12
              (fma
               t_22
               t_24
               (fma t_35 t_3 (- (fma y4 t_6 t_17) (fma i t_21 t_33)))))))
           (if (<= z -4.1979346316806844e-185)
             (fma
              t_13
              t_29
              (fma t_9 t_23 (fma t_8 t_12 (* y4 (- t_6 (* k (* y b)))))))
             (if (<= z -2.964585741499648e-210)
               (fma
                t_13
                t_29
                (-
                 (fma
                  k
                  t_4
                  (fma c t_2 (fma y4 t_6 (fma i (* y1 (* j x)) t_18))))
                 (fma
                  c
                  t_31
                  (fma y0 t_5 (fma c t_7 (fma c t_19 (fma i t_21 t_34)))))))
               (if (<= z -3.359482660201687e-247)
                 (fma
                  t_13
                  t_29
                  (fma
                   t_9
                   t_23
                   (fma
                    t_8
                    t_12
                    (fma
                     t_22
                     t_24
                     (fma
                      t_35
                      t_3
                      (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))))))))
                 (if (<= z -7.963750252517817e-290)
                   (fma
                    t_13
                    t_29
                    (fma
                     t_9
                     t_23
                     (fma
                      t_8
                      t_12
                      (-
                       (fma c t_2 (fma y1 t_27 (fma y4 t_6 (* k t_4))))
                       (fma c t_31 (fma y1 t_25 (fma y0 t_36 t_33)))))))
                   (if (<= z 2.5488787504143058e-303)
                     (fma
                      t_13
                      t_29
                      (*
                       i
                       (-
                        (fma k (* y5 y) (fma y1 (* j x) (* c (* z t))))
                        (fma c (* y x) (fma t (* j y5) (* k (* z y1)))))))
                     (if (<= z 5.85002236908907e-199)
                       (fma
                        t_13
                        t_29
                        (fma
                         t_9
                         t_23
                         (-
                          (fma
                           k
                           t_4
                           (fma
                            c
                            t_2
                            (fma
                             a
                             (* y (* b x))
                             (fma y1 t_27 (fma c t_15 t_14)))))
                          (fma
                           c
                           t_31
                           (fma
                            a
                            t_1
                            (fma
                             c
                             t_11
                             (fma a t_16 (* k (fma y1 (* z i) t_32)))))))))
                       (if (<= z 2.91805611483236e+97)
                         (fma
                          t_13
                          t_29
                          (fma
                           t_9
                           t_23
                           (fma
                            t_8
                            t_12
                            (-
                             (fma
                              c
                              t_2
                              (fma
                               k
                               t_4
                               (fma y4 t_6 (fma y1 t_20 (fma y1 t_27 t_14)))))
                             (fma
                              c
                              t_31
                              (fma
                               y1
                               t_25
                               (fma
                                y0
                                t_36
                                (fma i t_21 (* k (+ t_32 t_28))))))))))
                         t_30)))))))))))))

C

double code(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) {
	return (((((((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)));
}

↓

double code(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 t_1 = y1 * (y2 * x);
	double t_2 = y0 * (y2 * x);
	double t_3 = (y0 * c) - (y1 * a);
	double t_4 = y0 * (z * b);
	double t_5 = b * (j * x);
	double t_6 = t * (j * b);
	double t_7 = i * (y * x);
	double t_8 = (y * x) - (z * t);
	double t_9 = (y2 * t) - (y3 * y);
	double t_10 = t * (y2 * y5);
	double t_11 = y * (i * x);
	double t_12 = (a * b) - (c * i);
	double t_13 = (k * y2) - (j * y3);
	double t_14 = k * (y * (y5 * i));
	double t_15 = i * (z * t);
	double t_16 = t * (z * b);
	double t_17 = k * (i * (y5 * y));
	double t_18 = (c * fma(y4, (y3 * y), t_15)) + t_17;
	double t_19 = y4 * (y2 * t);
	double t_20 = i * (j * x);
	double t_21 = t * (j * y5);
	double t_22 = (j * x) - (z * k);
	double t_23 = (y5 * a) - (y4 * c);
	double t_24 = (y1 * i) - (y0 * b);
	double t_25 = a * (y2 * x);
	double t_26 = a * (b * x);
	double t_27 = a * (z * y3);
	double t_28 = y1 * (z * i);
	double t_29 = (y1 * y4) - (y0 * y5);
	double t_30 = fma(t_13, t_29, fma(t_9, t_23, (z * (fma(k, (y0 * b), fma(y1, (y3 * a), (c * (t * i)))) - fma(c, (y3 * y0), fma(k, (y1 * i), (a * (t * b))))))));
	double t_31 = y0 * (z * y3);
	double t_32 = y4 * (y * b);
	double t_33 = k * t_32;
	double t_34 = k * fma(i, (z * y1), t_32);
	double t_35 = (y2 * x) - (z * y3);
	double t_36 = j * (b * x);
	double tmp;
	if (z <= -9.889690195310615e+122) {
		tmp = t_30;
	} else if (z <= -1.4319518254780635e-42) {
		tmp = fma(t_13, t_29, (fma(a, t_10, fma(c, t_2, fma(y, t_26, fma(k, t_4, fma(a, (y1 * (z * y3)), t_18))))) - fma(c, t_31, ((a * fma(y, (y3 * y5), t_1)) + fma(c, t_7, fma(a, t_16, fma(c, t_19, t_34)))))));
	} else if (z <= -1.7976088564314313e-87) {
		tmp = fma(t_13, t_29, (fma(a, t_10, fma(c, t_2, fma(y, t_26, fma(k, t_4, fma(y1, t_20, fma(y1, t_27, fma(c, t_15, t_17))))))) - fma(c, t_31, fma(y, (a * (y3 * y5)), fma(a, t_1, fma(y0, t_5, fma(c, t_11, fma(a, t_16, fma(i, t_21, (k * t_28))))))))));
	} else if (z <= -7.887039867547132e-153) {
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, fma(t_22, t_24, fma(t_35, t_3, (fma(y4, t_6, t_17) - fma(i, t_21, t_33)))))));
	} else if (z <= -4.1979346316806844e-185) {
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, (y4 * (t_6 - (k * (y * b)))))));
	} else if (z <= -2.964585741499648e-210) {
		tmp = fma(t_13, t_29, (fma(k, t_4, fma(c, t_2, fma(y4, t_6, fma(i, (y1 * (j * x)), t_18)))) - fma(c, t_31, fma(y0, t_5, fma(c, t_7, fma(c, t_19, fma(i, t_21, t_34)))))));
	} else if (z <= -3.359482660201687e-247) {
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, fma(t_22, t_24, fma(t_35, t_3, (((j * t) - (k * y)) * ((y4 * b) - (y5 * i))))))));
	} else if (z <= -7.963750252517817e-290) {
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, (fma(c, t_2, fma(y1, t_27, fma(y4, t_6, (k * t_4)))) - fma(c, t_31, fma(y1, t_25, fma(y0, t_36, t_33)))))));
	} else if (z <= 2.5488787504143058e-303) {
		tmp = fma(t_13, t_29, (i * (fma(k, (y5 * y), fma(y1, (j * x), (c * (z * t)))) - fma(c, (y * x), fma(t, (j * y5), (k * (z * y1)))))));
	} else if (z <= 5.85002236908907e-199) {
		tmp = fma(t_13, t_29, fma(t_9, t_23, (fma(k, t_4, fma(c, t_2, fma(a, (y * (b * x)), fma(y1, t_27, fma(c, t_15, t_14))))) - fma(c, t_31, fma(a, t_1, fma(c, t_11, fma(a, t_16, (k * fma(y1, (z * i), t_32)))))))));
	} else if (z <= 2.91805611483236e+97) {
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, (fma(c, t_2, fma(k, t_4, fma(y4, t_6, fma(y1, t_20, fma(y1, t_27, t_14))))) - fma(c, t_31, fma(y1, t_25, fma(y0, t_36, fma(i, t_21, (k * (t_32 + t_28))))))))));
	} else {
		tmp = t_30;
	}
	return tmp;
}

Julia

function code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5)
	return Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(x * y) - Float64(z * t)) * Float64(Float64(a * b) - Float64(c * i))) - Float64(Float64(Float64(x * j) - Float64(z * k)) * Float64(Float64(y0 * b) - Float64(y1 * i)))) + Float64(Float64(Float64(x * y2) - Float64(z * y3)) * Float64(Float64(y0 * c) - Float64(y1 * a)))) + Float64(Float64(Float64(t * j) - Float64(y * k)) * Float64(Float64(y4 * b) - Float64(y5 * i)))) - Float64(Float64(Float64(t * y2) - Float64(y * y3)) * Float64(Float64(y4 * c) - Float64(y5 * a)))) + Float64(Float64(Float64(k * y2) - Float64(j * y3)) * Float64(Float64(y4 * y1) - Float64(y5 * y0))))
end

↓

function code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5)
	t_1 = Float64(y1 * Float64(y2 * x))
	t_2 = Float64(y0 * Float64(y2 * x))
	t_3 = Float64(Float64(y0 * c) - Float64(y1 * a))
	t_4 = Float64(y0 * Float64(z * b))
	t_5 = Float64(b * Float64(j * x))
	t_6 = Float64(t * Float64(j * b))
	t_7 = Float64(i * Float64(y * x))
	t_8 = Float64(Float64(y * x) - Float64(z * t))
	t_9 = Float64(Float64(y2 * t) - Float64(y3 * y))
	t_10 = Float64(t * Float64(y2 * y5))
	t_11 = Float64(y * Float64(i * x))
	t_12 = Float64(Float64(a * b) - Float64(c * i))
	t_13 = Float64(Float64(k * y2) - Float64(j * y3))
	t_14 = Float64(k * Float64(y * Float64(y5 * i)))
	t_15 = Float64(i * Float64(z * t))
	t_16 = Float64(t * Float64(z * b))
	t_17 = Float64(k * Float64(i * Float64(y5 * y)))
	t_18 = Float64(Float64(c * fma(y4, Float64(y3 * y), t_15)) + t_17)
	t_19 = Float64(y4 * Float64(y2 * t))
	t_20 = Float64(i * Float64(j * x))
	t_21 = Float64(t * Float64(j * y5))
	t_22 = Float64(Float64(j * x) - Float64(z * k))
	t_23 = Float64(Float64(y5 * a) - Float64(y4 * c))
	t_24 = Float64(Float64(y1 * i) - Float64(y0 * b))
	t_25 = Float64(a * Float64(y2 * x))
	t_26 = Float64(a * Float64(b * x))
	t_27 = Float64(a * Float64(z * y3))
	t_28 = Float64(y1 * Float64(z * i))
	t_29 = Float64(Float64(y1 * y4) - Float64(y0 * y5))
	t_30 = fma(t_13, t_29, fma(t_9, t_23, Float64(z * Float64(fma(k, Float64(y0 * b), fma(y1, Float64(y3 * a), Float64(c * Float64(t * i)))) - fma(c, Float64(y3 * y0), fma(k, Float64(y1 * i), Float64(a * Float64(t * b))))))))
	t_31 = Float64(y0 * Float64(z * y3))
	t_32 = Float64(y4 * Float64(y * b))
	t_33 = Float64(k * t_32)
	t_34 = Float64(k * fma(i, Float64(z * y1), t_32))
	t_35 = Float64(Float64(y2 * x) - Float64(z * y3))
	t_36 = Float64(j * Float64(b * x))
	tmp = 0.0
	if (z <= -9.889690195310615e+122)
		tmp = t_30;
	elseif (z <= -1.4319518254780635e-42)
		tmp = fma(t_13, t_29, Float64(fma(a, t_10, fma(c, t_2, fma(y, t_26, fma(k, t_4, fma(a, Float64(y1 * Float64(z * y3)), t_18))))) - fma(c, t_31, Float64(Float64(a * fma(y, Float64(y3 * y5), t_1)) + fma(c, t_7, fma(a, t_16, fma(c, t_19, t_34)))))));
	elseif (z <= -1.7976088564314313e-87)
		tmp = fma(t_13, t_29, Float64(fma(a, t_10, fma(c, t_2, fma(y, t_26, fma(k, t_4, fma(y1, t_20, fma(y1, t_27, fma(c, t_15, t_17))))))) - fma(c, t_31, fma(y, Float64(a * Float64(y3 * y5)), fma(a, t_1, fma(y0, t_5, fma(c, t_11, fma(a, t_16, fma(i, t_21, Float64(k * t_28))))))))));
	elseif (z <= -7.887039867547132e-153)
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, fma(t_22, t_24, fma(t_35, t_3, Float64(fma(y4, t_6, t_17) - fma(i, t_21, t_33)))))));
	elseif (z <= -4.1979346316806844e-185)
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, Float64(y4 * Float64(t_6 - Float64(k * Float64(y * b)))))));
	elseif (z <= -2.964585741499648e-210)
		tmp = fma(t_13, t_29, Float64(fma(k, t_4, fma(c, t_2, fma(y4, t_6, fma(i, Float64(y1 * Float64(j * x)), t_18)))) - fma(c, t_31, fma(y0, t_5, fma(c, t_7, fma(c, t_19, fma(i, t_21, t_34)))))));
	elseif (z <= -3.359482660201687e-247)
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, fma(t_22, t_24, fma(t_35, t_3, Float64(Float64(Float64(j * t) - Float64(k * y)) * Float64(Float64(y4 * b) - Float64(y5 * i))))))));
	elseif (z <= -7.963750252517817e-290)
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, Float64(fma(c, t_2, fma(y1, t_27, fma(y4, t_6, Float64(k * t_4)))) - fma(c, t_31, fma(y1, t_25, fma(y0, t_36, t_33)))))));
	elseif (z <= 2.5488787504143058e-303)
		tmp = fma(t_13, t_29, Float64(i * Float64(fma(k, Float64(y5 * y), fma(y1, Float64(j * x), Float64(c * Float64(z * t)))) - fma(c, Float64(y * x), fma(t, Float64(j * y5), Float64(k * Float64(z * y1)))))));
	elseif (z <= 5.85002236908907e-199)
		tmp = fma(t_13, t_29, fma(t_9, t_23, Float64(fma(k, t_4, fma(c, t_2, fma(a, Float64(y * Float64(b * x)), fma(y1, t_27, fma(c, t_15, t_14))))) - fma(c, t_31, fma(a, t_1, fma(c, t_11, fma(a, t_16, Float64(k * fma(y1, Float64(z * i), t_32)))))))));
	elseif (z <= 2.91805611483236e+97)
		tmp = fma(t_13, t_29, fma(t_9, t_23, fma(t_8, t_12, Float64(fma(c, t_2, fma(k, t_4, fma(y4, t_6, fma(y1, t_20, fma(y1, t_27, t_14))))) - fma(c, t_31, fma(y1, t_25, fma(y0, t_36, fma(i, t_21, Float64(k * Float64(t_32 + t_28))))))))));
	else
		tmp = t_30;
	end
	return tmp
end

Wolfram

code[x_, y_, z_, t_, a_, b_, c_, i_, j_, k_, y0_, y1_, y2_, y3_, y4_, y5_] := N[(N[(N[(N[(N[(N[(N[(N[(x * y), $MachinePrecision] - N[(z * t), $MachinePrecision]), $MachinePrecision] * N[(N[(a * b), $MachinePrecision] - N[(c * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(N[(N[(x * j), $MachinePrecision] - N[(z * k), $MachinePrecision]), $MachinePrecision] * N[(N[(y0 * b), $MachinePrecision] - N[(y1 * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(x * y2), $MachinePrecision] - N[(z * y3), $MachinePrecision]), $MachinePrecision] * N[(N[(y0 * c), $MachinePrecision] - N[(y1 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(t * j), $MachinePrecision] - N[(y * k), $MachinePrecision]), $MachinePrecision] * N[(N[(y4 * b), $MachinePrecision] - N[(y5 * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(N[(N[(t * y2), $MachinePrecision] - N[(y * y3), $MachinePrecision]), $MachinePrecision] * N[(N[(y4 * c), $MachinePrecision] - N[(y5 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(k * y2), $MachinePrecision] - N[(j * y3), $MachinePrecision]), $MachinePrecision] * N[(N[(y4 * y1), $MachinePrecision] - N[(y5 * y0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

↓

code[x_, y_, z_, t_, a_, b_, c_, i_, j_, k_, y0_, y1_, y2_, y3_, y4_, y5_] := Block[{t$95$1 = N[(y1 * N[(y2 * x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(y0 * N[(y2 * x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(N[(y0 * c), $MachinePrecision] - N[(y1 * a), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$4 = N[(y0 * N[(z * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$5 = N[(b * N[(j * x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$6 = N[(t * N[(j * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$7 = N[(i * N[(y * x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$8 = N[(N[(y * x), $MachinePrecision] - N[(z * t), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$9 = N[(N[(y2 * t), $MachinePrecision] - N[(y3 * y), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$10 = N[(t * N[(y2 * y5), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$11 = N[(y * N[(i * x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$12 = N[(N[(a * b), $MachinePrecision] - N[(c * i), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$13 = N[(N[(k * y2), $MachinePrecision] - N[(j * y3), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$14 = N[(k * N[(y * N[(y5 * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$15 = N[(i * N[(z * t), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$16 = N[(t * N[(z * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$17 = N[(k * N[(i * N[(y5 * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$18 = N[(N[(c * N[(y4 * N[(y3 * y), $MachinePrecision] + t$95$15), $MachinePrecision]), $MachinePrecision] + t$95$17), $MachinePrecision]}, Block[{t$95$19 = N[(y4 * N[(y2 * t), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$20 = N[(i * N[(j * x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$21 = N[(t * N[(j * y5), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$22 = N[(N[(j * x), $MachinePrecision] - N[(z * k), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$23 = N[(N[(y5 * a), $MachinePrecision] - N[(y4 * c), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$24 = N[(N[(y1 * i), $MachinePrecision] - N[(y0 * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$25 = N[(a * N[(y2 * x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$26 = N[(a * N[(b * x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$27 = N[(a * N[(z * y3), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$28 = N[(y1 * N[(z * i), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$29 = N[(N[(y1 * y4), $MachinePrecision] - N[(y0 * y5), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$30 = N[(t$95$13 * t$95$29 + N[(t$95$9 * t$95$23 + N[(z * N[(N[(k * N[(y0 * b), $MachinePrecision] + N[(y1 * N[(y3 * a), $MachinePrecision] + N[(c * N[(t * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(c * N[(y3 * y0), $MachinePrecision] + N[(k * N[(y1 * i), $MachinePrecision] + N[(a * N[(t * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$31 = N[(y0 * N[(z * y3), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$32 = N[(y4 * N[(y * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$33 = N[(k * t$95$32), $MachinePrecision]}, Block[{t$95$34 = N[(k * N[(i * N[(z * y1), $MachinePrecision] + t$95$32), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$35 = N[(N[(y2 * x), $MachinePrecision] - N[(z * y3), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$36 = N[(j * N[(b * x), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -9.889690195310615e+122], t$95$30, If[LessEqual[z, -1.4319518254780635e-42], N[(t$95$13 * t$95$29 + N[(N[(a * t$95$10 + N[(c * t$95$2 + N[(y * t$95$26 + N[(k * t$95$4 + N[(a * N[(y1 * N[(z * y3), $MachinePrecision]), $MachinePrecision] + t$95$18), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(c * t$95$31 + N[(N[(a * N[(y * N[(y3 * y5), $MachinePrecision] + t$95$1), $MachinePrecision]), $MachinePrecision] + N[(c * t$95$7 + N[(a * t$95$16 + N[(c * t$95$19 + t$95$34), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -1.7976088564314313e-87], N[(t$95$13 * t$95$29 + N[(N[(a * t$95$10 + N[(c * t$95$2 + N[(y * t$95$26 + N[(k * t$95$4 + N[(y1 * t$95$20 + N[(y1 * t$95$27 + N[(c * t$95$15 + t$95$17), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(c * t$95$31 + N[(y * N[(a * N[(y3 * y5), $MachinePrecision]), $MachinePrecision] + N[(a * t$95$1 + N[(y0 * t$95$5 + N[(c * t$95$11 + N[(a * t$95$16 + N[(i * t$95$21 + N[(k * t$95$28), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -7.887039867547132e-153], N[(t$95$13 * t$95$29 + N[(t$95$9 * t$95$23 + N[(t$95$8 * t$95$12 + N[(t$95$22 * t$95$24 + N[(t$95$35 * t$95$3 + N[(N[(y4 * t$95$6 + t$95$17), $MachinePrecision] - N[(i * t$95$21 + t$95$33), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -4.1979346316806844e-185], N[(t$95$13 * t$95$29 + N[(t$95$9 * t$95$23 + N[(t$95$8 * t$95$12 + N[(y4 * N[(t$95$6 - N[(k * N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -2.964585741499648e-210], N[(t$95$13 * t$95$29 + N[(N[(k * t$95$4 + N[(c * t$95$2 + N[(y4 * t$95$6 + N[(i * N[(y1 * N[(j * x), $MachinePrecision]), $MachinePrecision] + t$95$18), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(c * t$95$31 + N[(y0 * t$95$5 + N[(c * t$95$7 + N[(c * t$95$19 + N[(i * t$95$21 + t$95$34), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -3.359482660201687e-247], N[(t$95$13 * t$95$29 + N[(t$95$9 * t$95$23 + N[(t$95$8 * t$95$12 + N[(t$95$22 * t$95$24 + N[(t$95$35 * t$95$3 + N[(N[(N[(j * t), $MachinePrecision] - N[(k * y), $MachinePrecision]), $MachinePrecision] * N[(N[(y4 * b), $MachinePrecision] - N[(y5 * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -7.963750252517817e-290], N[(t$95$13 * t$95$29 + N[(t$95$9 * t$95$23 + N[(t$95$8 * t$95$12 + N[(N[(c * t$95$2 + N[(y1 * t$95$27 + N[(y4 * t$95$6 + N[(k * t$95$4), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(c * t$95$31 + N[(y1 * t$95$25 + N[(y0 * t$95$36 + t$95$33), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 2.5488787504143058e-303], N[(t$95$13 * t$95$29 + N[(i * N[(N[(k * N[(y5 * y), $MachinePrecision] + N[(y1 * N[(j * x), $MachinePrecision] + N[(c * N[(z * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(c * N[(y * x), $MachinePrecision] + N[(t * N[(j * y5), $MachinePrecision] + N[(k * N[(z * y1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 5.85002236908907e-199], N[(t$95$13 * t$95$29 + N[(t$95$9 * t$95$23 + N[(N[(k * t$95$4 + N[(c * t$95$2 + N[(a * N[(y * N[(b * x), $MachinePrecision]), $MachinePrecision] + N[(y1 * t$95$27 + N[(c * t$95$15 + t$95$14), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(c * t$95$31 + N[(a * t$95$1 + N[(c * t$95$11 + N[(a * t$95$16 + N[(k * N[(y1 * N[(z * i), $MachinePrecision] + t$95$32), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 2.91805611483236e+97], N[(t$95$13 * t$95$29 + N[(t$95$9 * t$95$23 + N[(t$95$8 * t$95$12 + N[(N[(c * t$95$2 + N[(k * t$95$4 + N[(y4 * t$95$6 + N[(y1 * t$95$20 + N[(y1 * t$95$27 + t$95$14), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(c * t$95$31 + N[(y1 * t$95$25 + N[(y0 * t$95$36 + N[(i * t$95$21 + N[(k * N[(t$95$32 + t$95$28), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$30]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus i

Bits error versus j

Bits error versus k

Bits error versus y0

Bits error versus y1

Bits error versus y2

Bits error versus y3

Bits error versus y4

Bits error versus y5

Target

Original	26.7
Target	30.5
Herbie	29.5

\[\begin{array}{l} \mathbf{if}\;y4 < -7.206256231996481 \cdot 10^{+60}:\\ \;\;\;\;\left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right) - \left(\frac{y2 \cdot t - y3 \cdot y}{\frac{1}{y4 \cdot c - y5 \cdot a}} - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\\ \mathbf{elif}\;y4 < -3.364603505246317 \cdot 10^{-66}:\\ \;\;\;\;\left(\left(\left(\left(t \cdot c\right) \cdot \left(i \cdot z\right) - \left(a \cdot t\right) \cdot \left(b \cdot z\right)\right) - \left(y \cdot c\right) \cdot \left(i \cdot x\right)\right) - \left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right)\right) + \left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - z \cdot y3\right) - \left(\left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - a \cdot y5\right) - \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\right)\\ \mathbf{elif}\;y4 < -1.2000065055686116 \cdot 10^{-105}:\\ \;\;\;\;\left(\left(\left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) - \left(y3 \cdot y\right) \cdot \left(y5 \cdot a - y4 \cdot c\right)\right) + \left(\left(y5 \cdot a\right) \cdot \left(t \cdot y2\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right) - \left(\left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right) - \left(y \cdot x - z \cdot t\right) \cdot \left(b \cdot a - i \cdot c\right)\right)\right)\\ \mathbf{elif}\;y4 < 6.718963124057495 \cdot 10^{-279}:\\ \;\;\;\;\left(\left(\left(\left(k \cdot y\right) \cdot \left(y5 \cdot i\right) - \left(y \cdot b\right) \cdot \left(y4 \cdot k\right)\right) - \left(y5 \cdot t\right) \cdot \left(i \cdot j\right)\right) - \left(\left(y2 \cdot t - y3 \cdot y\right) \cdot \left(y4 \cdot c - y5 \cdot a\right) - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(y2 \cdot x - y3 \cdot z\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right)\\ \mathbf{elif}\;y4 < 4.77962681403792 \cdot 10^{-222}:\\ \;\;\;\;\left(\left(\left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) - \left(y3 \cdot y\right) \cdot \left(y5 \cdot a - y4 \cdot c\right)\right) + \left(\left(y5 \cdot a\right) \cdot \left(t \cdot y2\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right) - \left(\left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right) - \left(y \cdot x - z \cdot t\right) \cdot \left(b \cdot a - i \cdot c\right)\right)\right)\\ \mathbf{elif}\;y4 < 2.2852241541266835 \cdot 10^{-175}:\\ \;\;\;\;\left(\left(\left(\left(k \cdot y\right) \cdot \left(y5 \cdot i\right) - \left(y \cdot b\right) \cdot \left(y4 \cdot k\right)\right) - \left(y5 \cdot t\right) \cdot \left(i \cdot j\right)\right) - \left(\left(y2 \cdot t - y3 \cdot y\right) \cdot \left(y4 \cdot c - y5 \cdot a\right) - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(y2 \cdot x - y3 \cdot z\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(k \cdot \left(i \cdot \left(z \cdot y1\right)\right) - \left(j \cdot \left(i \cdot \left(x \cdot y1\right)\right) + y0 \cdot \left(k \cdot \left(z \cdot b\right)\right)\right)\right)\right) + \left(z \cdot \left(y3 \cdot \left(a \cdot y1\right)\right) - \left(y2 \cdot \left(x \cdot \left(a \cdot y1\right)\right) + y0 \cdot \left(z \cdot \left(c \cdot y3\right)\right)\right)\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)\\ \end{array} \]

Derivation

1. Split input into 11 regimes

2. if z < -9.8896901953106149e122 or 2.9180561148323599e97 < z

   1. Initial program 31.5

      \[\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) \]

   2. Simplified 31.5

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in z around -inf 28.0

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{-1 \cdot \left(z \cdot \left(\left(c \cdot \left(y0 \cdot y3\right) + \left(k \cdot \left(y1 \cdot i\right) + a \cdot \left(t \cdot b\right)\right)\right) - \left(k \cdot \left(y0 \cdot b\right) + \left(y1 \cdot \left(a \cdot y3\right) + c \cdot \left(i \cdot t\right)\right)\right)\right)\right)}\right)\right) \]

   4. Simplified 28.0

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{-z \cdot \left(\mathsf{fma}\left(c, y0 \cdot y3, \mathsf{fma}\left(k, y1 \cdot i, a \cdot \left(t \cdot b\right)\right)\right) - \mathsf{fma}\left(k, y0 \cdot b, \mathsf{fma}\left(y1, a \cdot y3, c \cdot \left(i \cdot t\right)\right)\right)\right)}\right)\right) \]

   if -9.8896901953106149e122 < z < -1.4319518254780635e-42

   1. Initial program 24.5

      \[\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) \]

   2. Simplified 24.5

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in x around 0 30.2

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{\left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(y \cdot \left(a \cdot \left(b \cdot x\right)\right) + \left(y4 \cdot \left(t \cdot \left(j \cdot b\right)\right) + \left(k \cdot \left(y0 \cdot \left(b \cdot z\right)\right) + \left(i \cdot \left(y1 \cdot \left(j \cdot x\right)\right) + \left(a \cdot \left(y1 \cdot \left(y3 \cdot z\right)\right) + \left(c \cdot \left(i \cdot \left(t \cdot z\right)\right) + k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(a \cdot \left(y1 \cdot \left(x \cdot y2\right)\right) + \left(y0 \cdot \left(j \cdot \left(b \cdot x\right)\right) + \left(c \cdot \left(i \cdot \left(y \cdot x\right)\right) + \left(a \cdot \left(t \cdot \left(z \cdot b\right)\right) + \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + \left(k \cdot \left(y1 \cdot \left(i \cdot z\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\right)}\right)\right) \]

   4. Simplified 30.2

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{\mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(i, y1 \cdot \left(j \cdot x\right), \mathsf{fma}\left(a, y1 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(c, i \cdot \left(t \cdot z\right), k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(a, y1 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(y \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(y1, i \cdot z, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)}\right)\right) \]

   5. Applied *-commutative_binary64 30.2

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(i, y1 \cdot \left(j \cdot x\right), \mathsf{fma}\left(a, y1 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(c, \color{blue}{\left(t \cdot z\right) \cdot i}, k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(a, y1 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(y \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(y1, i \cdot z, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\right)\right) \]

   6. Taylor expanded in j around 0 33.5

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\left(a \cdot \left(t \cdot \left(y5 \cdot y2\right)\right) + \left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(y \cdot \left(a \cdot \left(b \cdot x\right)\right) + \left(k \cdot \left(y0 \cdot \left(b \cdot z\right)\right) + \left(a \cdot \left(y1 \cdot \left(y3 \cdot z\right)\right) + \left(c \cdot \left(y4 \cdot \left(y \cdot y3\right)\right) + \left(c \cdot \left(i \cdot \left(t \cdot z\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(y \cdot \left(a \cdot \left(y3 \cdot y5\right)\right) + \left(a \cdot \left(y1 \cdot \left(y2 \cdot x\right)\right) + \left(c \cdot \left(i \cdot \left(y \cdot x\right)\right) + \left(a \cdot \left(t \cdot \left(z \cdot b\right)\right) + \left(c \cdot \left(y4 \cdot \left(t \cdot y2\right)\right) + \left(k \cdot \left(i \cdot \left(y1 \cdot z\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\right)}\right) \]

   7. Simplified 32.7

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\mathsf{fma}\left(a, t \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y, a \cdot \left(x \cdot b\right), \mathsf{fma}\left(k, y0 \cdot \left(z \cdot b\right), \mathsf{fma}\left(a, y1 \cdot \left(z \cdot y3\right), c \cdot \mathsf{fma}\left(y4, y \cdot y3, i \cdot \left(t \cdot z\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(z \cdot y3\right), a \cdot \mathsf{fma}\left(y, y3 \cdot y5, \left(y2 \cdot x\right) \cdot y1\right) + \mathsf{fma}\left(c, i \cdot \left(x \cdot y\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(c, y4 \cdot \left(t \cdot y2\right), k \cdot \mathsf{fma}\left(i, z \cdot y1, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)}\right) \]

   if -1.4319518254780635e-42 < z < -1.79760885643143127e-87

   1. Initial program 23.2

      \[\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) \]

   2. Simplified 23.2

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in y4 around 0 28.4

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\left(a \cdot \left(t \cdot \left(y5 \cdot y2\right)\right) + \left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(y \cdot \left(a \cdot \left(b \cdot x\right)\right) + \left(k \cdot \left(y0 \cdot \left(b \cdot z\right)\right) + \left(y1 \cdot \left(i \cdot \left(j \cdot x\right)\right) + \left(y1 \cdot \left(a \cdot \left(y3 \cdot z\right)\right) + \left(c \cdot \left(i \cdot \left(t \cdot z\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(y \cdot \left(a \cdot \left(y3 \cdot y5\right)\right) + \left(a \cdot \left(y1 \cdot \left(y2 \cdot x\right)\right) + \left(y0 \cdot \left(b \cdot \left(j \cdot x\right)\right) + \left(c \cdot \left(y \cdot \left(i \cdot x\right)\right) + \left(a \cdot \left(t \cdot \left(z \cdot b\right)\right) + \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\right)\right)\right)\right)\right)\right)\right)}\right) \]

   4. Simplified 28.4

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\mathsf{fma}\left(a, t \cdot \left(y5 \cdot y2\right), \mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(c, i \cdot \left(t \cdot z\right), k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(y, a \cdot \left(y3 \cdot y5\right), \mathsf{fma}\left(a, y1 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, y \cdot \left(i \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\right)\right)\right)\right)\right)\right)\right)}\right) \]

   if -1.79760885643143127e-87 < z < -7.8870398675471324e-153

   1. Initial program 24.1

      \[\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) \]

   2. Simplified 24.1

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in t around 0 25.8

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \color{blue}{\left(y4 \cdot \left(t \cdot \left(b \cdot j\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)}\right)\right)\right)\right)\right) \]

   4. Simplified 25.8

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \color{blue}{\mathsf{fma}\left(y4, t \cdot \left(b \cdot j\right), k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)}\right)\right)\right)\right)\right) \]

   if -7.8870398675471324e-153 < z < -4.1979346316806844e-185

   1. Initial program 28.6

      \[\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) \]

   2. Simplified 28.6

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in y4 around -inf 39.2

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{-1 \cdot \left(y4 \cdot \left(k \cdot \left(y \cdot b\right) - t \cdot \left(j \cdot b\right)\right)\right)}\right)\right)\right) \]

   4. Simplified 39.2

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{-y4 \cdot \left(k \cdot \left(y \cdot b\right) - t \cdot \left(j \cdot b\right)\right)}\right)\right)\right) \]

   if -4.1979346316806844e-185 < z < -2.96458574149964797e-210

   1. Initial program 28.2

      \[\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) \]

   2. Simplified 28.2

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in x around 0 27.7

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{\left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(y \cdot \left(a \cdot \left(b \cdot x\right)\right) + \left(y4 \cdot \left(t \cdot \left(j \cdot b\right)\right) + \left(k \cdot \left(y0 \cdot \left(b \cdot z\right)\right) + \left(i \cdot \left(y1 \cdot \left(j \cdot x\right)\right) + \left(a \cdot \left(y1 \cdot \left(y3 \cdot z\right)\right) + \left(c \cdot \left(i \cdot \left(t \cdot z\right)\right) + k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(a \cdot \left(y1 \cdot \left(x \cdot y2\right)\right) + \left(y0 \cdot \left(j \cdot \left(b \cdot x\right)\right) + \left(c \cdot \left(i \cdot \left(y \cdot x\right)\right) + \left(a \cdot \left(t \cdot \left(z \cdot b\right)\right) + \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + \left(k \cdot \left(y1 \cdot \left(i \cdot z\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\right)}\right)\right) \]

   4. Simplified 27.7

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{\mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(i, y1 \cdot \left(j \cdot x\right), \mathsf{fma}\left(a, y1 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(c, i \cdot \left(t \cdot z\right), k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(a, y1 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(y \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(y1, i \cdot z, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)}\right)\right) \]

   5. Applied *-commutative_binary64 27.7

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(i, y1 \cdot \left(j \cdot x\right), \mathsf{fma}\left(a, y1 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(c, \color{blue}{\left(t \cdot z\right) \cdot i}, k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(a, y1 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(y \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(y1, i \cdot z, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\right)\right) \]

   6. Taylor expanded in a around 0 35.0

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\left(k \cdot \left(y0 \cdot \left(z \cdot b\right)\right) + \left(c \cdot \left(y0 \cdot \left(y2 \cdot x\right)\right) + \left(y4 \cdot \left(t \cdot \left(j \cdot b\right)\right) + \left(i \cdot \left(y1 \cdot \left(j \cdot x\right)\right) + \left(c \cdot \left(i \cdot \left(t \cdot z\right)\right) + \left(c \cdot \left(y4 \cdot \left(y \cdot y3\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(y0 \cdot \left(j \cdot \left(b \cdot x\right)\right) + \left(c \cdot \left(i \cdot \left(y \cdot x\right)\right) + \left(c \cdot \left(y4 \cdot \left(t \cdot y2\right)\right) + \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + \left(k \cdot \left(i \cdot \left(y1 \cdot z\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)}\right) \]

   7. Simplified 34.7

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\mathsf{fma}\left(k, y0 \cdot \left(z \cdot b\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(b \cdot j\right), \mathsf{fma}\left(i, y1 \cdot \left(x \cdot j\right), c \cdot \mathsf{fma}\left(y4, y \cdot y3, i \cdot \left(t \cdot z\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(z \cdot y3\right), \mathsf{fma}\left(y0, b \cdot \left(x \cdot j\right), \mathsf{fma}\left(c, i \cdot \left(x \cdot y\right), \mathsf{fma}\left(c, y4 \cdot \left(t \cdot y2\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(i, z \cdot y1, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)}\right) \]

   if -2.96458574149964797e-210 < z < -3.35948266020168695e-247

   1. Initial program 27.2

      \[\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) \]

   2. Simplified 27.2

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   if -3.35948266020168695e-247 < z < -7.9637502525178171e-290

   1. Initial program 26.7

      \[\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) \]

   2. Simplified 26.7

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in i around 0 29.8

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{\left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(y1 \cdot \left(a \cdot \left(y3 \cdot z\right)\right) + \left(y4 \cdot \left(t \cdot \left(j \cdot b\right)\right) + k \cdot \left(y0 \cdot \left(b \cdot z\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(y1 \cdot \left(a \cdot \left(x \cdot y2\right)\right) + \left(y0 \cdot \left(j \cdot \left(b \cdot x\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)}\right)\right)\right) \]

   4. Simplified 29.8

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{\mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y1, a \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), k \cdot \left(y0 \cdot \left(b \cdot z\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(y1, a \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)}\right)\right)\right) \]

   if -7.9637502525178171e-290 < z < 2.5488787504143058e-303

   1. Initial program 27.5

      \[\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) \]

   2. Simplified 27.5

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in x around 0 25.7

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{\left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(y \cdot \left(a \cdot \left(b \cdot x\right)\right) + \left(y4 \cdot \left(t \cdot \left(j \cdot b\right)\right) + \left(k \cdot \left(y0 \cdot \left(b \cdot z\right)\right) + \left(i \cdot \left(y1 \cdot \left(j \cdot x\right)\right) + \left(a \cdot \left(y1 \cdot \left(y3 \cdot z\right)\right) + \left(c \cdot \left(i \cdot \left(t \cdot z\right)\right) + k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(a \cdot \left(y1 \cdot \left(x \cdot y2\right)\right) + \left(y0 \cdot \left(j \cdot \left(b \cdot x\right)\right) + \left(c \cdot \left(i \cdot \left(y \cdot x\right)\right) + \left(a \cdot \left(t \cdot \left(z \cdot b\right)\right) + \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + \left(k \cdot \left(y1 \cdot \left(i \cdot z\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\right)}\right)\right) \]

   4. Simplified 25.7

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{\mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(i, y1 \cdot \left(j \cdot x\right), \mathsf{fma}\left(a, y1 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(c, i \cdot \left(t \cdot z\right), k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(a, y1 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(y \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(y1, i \cdot z, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)}\right)\right) \]

   5. Applied *-commutative_binary64 25.7

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(i, y1 \cdot \left(j \cdot x\right), \mathsf{fma}\left(a, y1 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(c, \color{blue}{\left(t \cdot z\right) \cdot i}, k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(a, y1 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(y \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(y1, i \cdot z, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\right)\right) \]

   6. Taylor expanded in i around -inf 42.2

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(i \cdot \left(\left(c \cdot \left(y \cdot x\right) + \left(k \cdot \left(y1 \cdot z\right) + t \cdot \left(j \cdot y5\right)\right)\right) - \left(k \cdot \left(y \cdot y5\right) + \left(y1 \cdot \left(j \cdot x\right) + c \cdot \left(t \cdot z\right)\right)\right)\right)\right)}\right) \]

   7. Simplified 42.2

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-i \cdot \left(\mathsf{fma}\left(c, x \cdot y, \mathsf{fma}\left(t, j \cdot y5, k \cdot \left(z \cdot y1\right)\right)\right) - \mathsf{fma}\left(k, y \cdot y5, \mathsf{fma}\left(y1, x \cdot j, \left(t \cdot z\right) \cdot c\right)\right)\right)}\right) \]

   if 2.5488787504143058e-303 < z < 5.85002236908907042e-199

   1. Initial program 28.0

      \[\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) \]

   2. Simplified 28.0

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in j around 0 30.3

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{\left(k \cdot \left(y0 \cdot \left(z \cdot b\right)\right) + \left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(a \cdot \left(y \cdot \left(b \cdot x\right)\right) + \left(y1 \cdot \left(a \cdot \left(y3 \cdot z\right)\right) + \left(c \cdot \left(i \cdot \left(t \cdot z\right)\right) + k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(a \cdot \left(y1 \cdot \left(y2 \cdot x\right)\right) + \left(c \cdot \left(y \cdot \left(i \cdot x\right)\right) + \left(a \cdot \left(t \cdot \left(z \cdot b\right)\right) + \left(k \cdot \left(y1 \cdot \left(i \cdot z\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)}\right)\right) \]

   4. Simplified 30.3

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{\mathsf{fma}\left(k, y0 \cdot \left(z \cdot b\right), \mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(a, y \cdot \left(b \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(c, i \cdot \left(t \cdot z\right), k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(a, y1 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(c, y \cdot \left(i \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), k \cdot \mathsf{fma}\left(y1, i \cdot z, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)}\right)\right) \]

   if 5.85002236908907042e-199 < z < 2.9180561148323599e97

   1. Initial program 24.5

      \[\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) \]

   2. Simplified 24.5

      \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in x around 0 27.1

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{\left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(k \cdot \left(y0 \cdot \left(b \cdot z\right)\right) + \left(y4 \cdot \left(t \cdot \left(b \cdot j\right)\right) + \left(y1 \cdot \left(i \cdot \left(j \cdot x\right)\right) + \left(y1 \cdot \left(a \cdot \left(y3 \cdot z\right)\right) + k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(y1 \cdot \left(a \cdot \left(x \cdot y2\right)\right) + \left(y0 \cdot \left(j \cdot \left(b \cdot x\right)\right) + \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + \left(k \cdot \left(y4 \cdot \left(y \cdot b\right)\right) + k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\right)\right)\right)\right)\right)}\right)\right)\right) \]

   4. Simplified 27.1

      \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{\mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(y4, t \cdot \left(b \cdot j\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(y3 \cdot z\right), k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(y1, a \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \left(y4 \cdot \left(y \cdot b\right) + y1 \cdot \left(i \cdot z\right)\right)\right)\right)\right)\right)}\right)\right)\right) \]
3. Recombined 11 regimes into one program.

4. Final simplification 29.5

   \[\leadsto \begin{array}{l} \mathbf{if}\;z \leq -9.889690195310615 \cdot 10^{+122}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, z \cdot \left(\mathsf{fma}\left(k, y0 \cdot b, \mathsf{fma}\left(y1, y3 \cdot a, c \cdot \left(t \cdot i\right)\right)\right) - \mathsf{fma}\left(c, y3 \cdot y0, \mathsf{fma}\left(k, y1 \cdot i, a \cdot \left(t \cdot b\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -1.4319518254780635 \cdot 10^{-42}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(a, t \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(k, y0 \cdot \left(z \cdot b\right), \mathsf{fma}\left(a, y1 \cdot \left(z \cdot y3\right), c \cdot \mathsf{fma}\left(y4, y3 \cdot y, i \cdot \left(z \cdot t\right)\right) + k \cdot \left(i \cdot \left(y5 \cdot y\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(z \cdot y3\right), a \cdot \mathsf{fma}\left(y, y3 \cdot y5, y1 \cdot \left(y2 \cdot x\right)\right) + \mathsf{fma}\left(c, i \cdot \left(y \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(c, y4 \cdot \left(y2 \cdot t\right), k \cdot \mathsf{fma}\left(i, z \cdot y1, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -1.7976088564314313 \cdot 10^{-87}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(a, t \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(k, y0 \cdot \left(z \cdot b\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(z \cdot y3\right), \mathsf{fma}\left(c, i \cdot \left(z \cdot t\right), k \cdot \left(i \cdot \left(y5 \cdot y\right)\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(z \cdot y3\right), \mathsf{fma}\left(y, a \cdot \left(y3 \cdot y5\right), \mathsf{fma}\left(a, y1 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, y \cdot \left(i \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \left(y1 \cdot \left(z \cdot i\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -7.887039867547132 \cdot 10^{-153}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(j \cdot x - z \cdot k, y1 \cdot i - y0 \cdot b, \mathsf{fma}\left(y2 \cdot x - z \cdot y3, y0 \cdot c - y1 \cdot a, \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), k \cdot \left(i \cdot \left(y5 \cdot y\right)\right)\right) - \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -4.1979346316806844 \cdot 10^{-185}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - z \cdot t, a \cdot b - c \cdot i, y4 \cdot \left(t \cdot \left(j \cdot b\right) - k \cdot \left(y \cdot b\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -2.964585741499648 \cdot 10^{-210}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(k, y0 \cdot \left(z \cdot b\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(i, y1 \cdot \left(j \cdot x\right), c \cdot \mathsf{fma}\left(y4, y3 \cdot y, i \cdot \left(z \cdot t\right)\right) + k \cdot \left(i \cdot \left(y5 \cdot y\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(z \cdot y3\right), \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(y \cdot x\right), \mathsf{fma}\left(c, y4 \cdot \left(y2 \cdot t\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(i, z \cdot y1, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -3.359482660201687 \cdot 10^{-247}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(j \cdot x - z \cdot k, y1 \cdot i - y0 \cdot b, \mathsf{fma}\left(y2 \cdot x - z \cdot y3, y0 \cdot c - y1 \cdot a, \left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -7.963750252517817 \cdot 10^{-290}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(z \cdot y3\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), k \cdot \left(y0 \cdot \left(z \cdot b\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(z \cdot y3\right), \mathsf{fma}\left(y1, a \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 2.5488787504143058 \cdot 10^{-303}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, i \cdot \left(\mathsf{fma}\left(k, y5 \cdot y, \mathsf{fma}\left(y1, j \cdot x, c \cdot \left(z \cdot t\right)\right)\right) - \mathsf{fma}\left(c, y \cdot x, \mathsf{fma}\left(t, j \cdot y5, k \cdot \left(z \cdot y1\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 5.85002236908907 \cdot 10^{-199}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(k, y0 \cdot \left(z \cdot b\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(a, y \cdot \left(b \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(z \cdot y3\right), \mathsf{fma}\left(c, i \cdot \left(z \cdot t\right), k \cdot \left(y \cdot \left(y5 \cdot i\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(z \cdot y3\right), \mathsf{fma}\left(a, y1 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(c, y \cdot \left(i \cdot x\right), \mathsf{fma}\left(a, t \cdot \left(z \cdot b\right), k \cdot \mathsf{fma}\left(y1, z \cdot i, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 2.91805611483236 \cdot 10^{+97}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(k, y0 \cdot \left(z \cdot b\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(z \cdot y3\right), k \cdot \left(y \cdot \left(y5 \cdot i\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(z \cdot y3\right), \mathsf{fma}\left(y1, a \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y0, j \cdot \left(b \cdot x\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \left(y4 \cdot \left(y \cdot b\right) + y1 \cdot \left(z \cdot i\right)\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, z \cdot \left(\mathsf{fma}\left(k, y0 \cdot b, \mathsf{fma}\left(y1, y3 \cdot a, c \cdot \left(t \cdot i\right)\right)\right) - \mathsf{fma}\left(c, y3 \cdot y0, \mathsf{fma}\left(k, y1 \cdot i, a \cdot \left(t \cdot b\right)\right)\right)\right)\right)\right)\\ \end{array} \]

Reproduce

herbie shell --seed 2022130 
(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

  :herbie-target
  (if (< y4 -7.206256231996481e+60) (- (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))))) (- (/ (- (* y2 t) (* y3 y)) (/ 1.0 (- (* y4 c) (* y5 a)))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (if (< y4 -3.364603505246317e-66) (+ (- (- (- (* (* t c) (* i z)) (* (* a t) (* b z))) (* (* y c) (* i x))) (* (- (* b y0) (* i y1)) (- (* j x) (* k z)))) (- (* (- (* y0 c) (* a y1)) (- (* x y2) (* z y3))) (- (* (- (* t y2) (* y y3)) (- (* y4 c) (* a y5))) (* (- (* y1 y4) (* y5 y0)) (- (* k y2) (* j y3)))))) (if (< y4 -1.2000065055686116e-105) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 6.718963124057495e-279) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (if (< y4 4.77962681403792e-222) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 2.2852241541266835e-175) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (- (* k (* i (* z y1))) (+ (* j (* i (* x y1))) (* y0 (* k (* z b)))))) (- (* z (* y3 (* a y1))) (+ (* y2 (* x (* a y1))) (* y0 (* z (* c y3)))))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))))))))

  (+ (- (+ (+ (- (* (- (* 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)))))