Linear.Matrix:det44 from linear-1.19.1.3

Average Error: 27.3 → 28.5

Time: 1.4min

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 := j \cdot t - k \cdot y\\ t_2 := y1 \cdot \left(y3 \cdot z - y2 \cdot x\right)\\ t_3 := y5 \cdot a - y4 \cdot c\\ t_4 := y1 \cdot i - y0 \cdot b\\ t_5 := j \cdot x - k \cdot z\\ t_6 := \mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right)\\ t_7 := y4 \cdot b - y5 \cdot i\\ t_8 := t_1 \cdot t_7\\ t_9 := y2 \cdot t - y3 \cdot y\\ t_10 := a \cdot b - i \cdot c\\ t_11 := k \cdot y2 - j \cdot y3\\ t_12 := y \cdot x - t \cdot z\\ t_13 := t_12 \cdot c\\ t_14 := i \cdot \left(y1 \cdot t_6 - t_13\right)\\ t_15 := k \cdot y - j \cdot t\\ t_16 := j \cdot t_4\\ t_17 := y1 \cdot t_5\\ t_18 := y1 \cdot y4 - y5 \cdot y0\\ t_19 := t_6 \cdot \left(-y0\right)\\ t_20 := y2 \cdot x - y3 \cdot z\\ t_21 := y0 \cdot t_20\\ t_22 := y0 \cdot c - y1 \cdot a\\ t_23 := \mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(t_9, t_3, \mathsf{fma}\left(\mathsf{fma}\left(a, t_12, \mathsf{fma}\left(y4, t_1, y0 \cdot \left(k \cdot z - j \cdot x\right)\right)\right), b, \mathsf{fma}\left(t_20, t_22, i \cdot \left(t_17 - t_13\right)\right)\right) + i \cdot \left(y5 \cdot t_15\right)\right)\right)\\ t_24 := \mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(t_9, t_3, \mathsf{fma}\left(t_1, \mathsf{fma}\left(b, y4, y5 \cdot \left(-i\right)\right), \mathsf{fma}\left(x, \mathsf{fma}\left(y, t_10, \mathsf{fma}\left(t_22, y2, t_16\right)\right), \mathsf{fma}\left(t, t_10, \mathsf{fma}\left(t_22, y3, k \cdot t_4\right)\right) \cdot \left(-z\right)\right)\right)\right)\right)\\ t_25 := y0 \cdot \left(t_6 \cdot b\right)\\ \mathbf{if}\;y5 \leq -1 \cdot 10^{+163}:\\ \;\;\;\;\mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(\mathsf{fma}\left(a, t_12, t_19\right), b, \left(a \cdot \left(t \cdot \left(y5 \cdot y2\right)\right) + \left(i \cdot t_17 + \left(t_8 - a \cdot \left(y1 \cdot \left(y2 \cdot x\right)\right)\right)\right)\right) + y3 \cdot \left(a \cdot \left(y1 \cdot z\right) - a \cdot \left(y5 \cdot y\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq -0.01:\\ \;\;\;\;\mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(t_9, t_3, \mathsf{fma}\left(t_20, t_22, \mathsf{fma}\left(t_1, t_7, k \cdot \left(z \cdot \left(y0 \cdot b - y1 \cdot i\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq -7.294864740819608 \cdot 10^{-113}:\\ \;\;\;\;t_23\\ \mathbf{elif}\;y5 \leq -7.58597788720551 \cdot 10^{-261}:\\ \;\;\;\;\mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(t_22, t_20, \mathsf{fma}\left(i, \mathsf{fma}\left(y1, t_6, \left(t \cdot z\right) \cdot c\right), \mathsf{fma}\left(y, \left(\left(a \cdot \left(x \cdot b\right) - c \cdot \left(x \cdot i\right)\right) + k \cdot \left(y5 \cdot i - y4 \cdot b\right)\right) + y3 \cdot \left(y4 \cdot c - y5 \cdot a\right), \mathsf{fma}\left(t_3, y2 \cdot t, \mathsf{fma}\left(t, j \cdot t_7, b \cdot \left(t_19 - a \cdot \left(t \cdot z\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 1.93699319861375 \cdot 10^{-272}:\\ \;\;\;\;\mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(t_9, t_3, \mathsf{fma}\left(y0, \mathsf{fma}\left(c, t_20, t_6 \cdot \left(-b\right)\right), \mathsf{fma}\left(t_1, t_7, a \cdot \left(t_12 \cdot b + t_2\right) + t_14\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 4.1574090020428107 \cdot 10^{-234}:\\ \;\;\;\;t_23\\ \mathbf{elif}\;y5 \leq 6.984235651185248 \cdot 10^{-181}:\\ \;\;\;\;t_24\\ \mathbf{elif}\;y5 \leq 10^{-8}:\\ \;\;\;\;\mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(t_1, t_7, \mathsf{fma}\left(\mathsf{fma}\left(b, t_12, y5 \cdot t_9\right) + t_2, a, t_14\right) + c \cdot \left(y4 \cdot \left(y3 \cdot y\right)\right)\right) - t_25\right)\right)\\ \mathbf{elif}\;y5 \leq 10^{+50}:\\ \;\;\;\;\mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(t_9, t_3, t_8 - \left(\left(t \cdot \left(z \cdot t_10\right) + \left(k \cdot \left(z \cdot t_4\right) + t_22 \cdot \left(y3 \cdot z\right)\right)\right) - x \cdot \left(y \cdot t_10 + \left(y2 \cdot t_22 + t_16\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 10^{+150}:\\ \;\;\;\;\mathsf{fma}\left(t_11, t_18, \mathsf{fma}\left(c, t_21, \left(\mathsf{fma}\left(y4, b \cdot t_1, \mathsf{fma}\left(i, \mathsf{fma}\left(t_5, y1, c \cdot \left(t \cdot z - y \cdot x\right)\right), \mathsf{fma}\left(a, \mathsf{fma}\left(b, t_12, t_2\right), y5 \cdot \left(a \cdot t_9 + i \cdot t_15\right)\right)\right)\right) + c \cdot \left(y4 \cdot \left(y3 \cdot y - y2 \cdot t\right)\right)\right) - t_25\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_24\\ \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 (- (* j t) (* k y)))
        (t_2 (* y1 (- (* y3 z) (* y2 x))))
        (t_3 (- (* y5 a) (* y4 c)))
        (t_4 (- (* y1 i) (* y0 b)))
        (t_5 (- (* j x) (* k z)))
        (t_6 (fma j x (* z (- k))))
        (t_7 (- (* y4 b) (* y5 i)))
        (t_8 (* t_1 t_7))
        (t_9 (- (* y2 t) (* y3 y)))
        (t_10 (- (* a b) (* i c)))
        (t_11 (- (* k y2) (* j y3)))
        (t_12 (- (* y x) (* t z)))
        (t_13 (* t_12 c))
        (t_14 (* i (- (* y1 t_6) t_13)))
        (t_15 (- (* k y) (* j t)))
        (t_16 (* j t_4))
        (t_17 (* y1 t_5))
        (t_18 (- (* y1 y4) (* y5 y0)))
        (t_19 (* t_6 (- y0)))
        (t_20 (- (* y2 x) (* y3 z)))
        (t_21 (* y0 t_20))
        (t_22 (- (* y0 c) (* y1 a)))
        (t_23
         (fma
          t_11
          t_18
          (fma
           t_9
           t_3
           (+
            (fma
             (fma a t_12 (fma y4 t_1 (* y0 (- (* k z) (* j x)))))
             b
             (fma t_20 t_22 (* i (- t_17 t_13))))
            (* i (* y5 t_15))))))
        (t_24
         (fma
          t_11
          t_18
          (fma
           t_9
           t_3
           (fma
            t_1
            (fma b y4 (* y5 (- i)))
            (fma
             x
             (fma y t_10 (fma t_22 y2 t_16))
             (* (fma t t_10 (fma t_22 y3 (* k t_4))) (- z)))))))
        (t_25 (* y0 (* t_6 b))))
   (if (<= y5 -1e+163)
     (fma
      t_11
      t_18
      (fma
       (fma a t_12 t_19)
       b
       (+
        (+ (* a (* t (* y5 y2))) (+ (* i t_17) (- t_8 (* a (* y1 (* y2 x))))))
        (* y3 (- (* a (* y1 z)) (* a (* y5 y)))))))
     (if (<= y5 -0.01)
       (fma
        t_11
        t_18
        (fma
         t_9
         t_3
         (fma t_20 t_22 (fma t_1 t_7 (* k (* z (- (* y0 b) (* y1 i))))))))
       (if (<= y5 -7.294864740819608e-113)
         t_23
         (if (<= y5 -7.58597788720551e-261)
           (fma
            t_11
            t_18
            (fma
             t_22
             t_20
             (fma
              i
              (fma y1 t_6 (* (* t z) c))
              (fma
               y
               (+
                (+ (- (* a (* x b)) (* c (* x i))) (* k (- (* y5 i) (* y4 b))))
                (* y3 (- (* y4 c) (* y5 a))))
               (fma
                t_3
                (* y2 t)
                (fma t (* j t_7) (* b (- t_19 (* a (* t z))))))))))
           (if (<= y5 1.93699319861375e-272)
             (fma
              t_11
              t_18
              (fma
               t_9
               t_3
               (fma
                y0
                (fma c t_20 (* t_6 (- b)))
                (fma t_1 t_7 (+ (* a (+ (* t_12 b) t_2)) t_14)))))
             (if (<= y5 4.1574090020428107e-234)
               t_23
               (if (<= y5 6.984235651185248e-181)
                 t_24
                 (if (<= y5 1e-8)
                   (fma
                    t_11
                    t_18
                    (fma
                     c
                     t_21
                     (-
                      (fma
                       t_1
                       t_7
                       (+
                        (fma (+ (fma b t_12 (* y5 t_9)) t_2) a t_14)
                        (* c (* y4 (* y3 y)))))
                      t_25)))
                   (if (<= y5 1e+50)
                     (fma
                      t_11
                      t_18
                      (fma
                       t_9
                       t_3
                       (-
                        t_8
                        (-
                         (+
                          (* t (* z t_10))
                          (+ (* k (* z t_4)) (* t_22 (* y3 z))))
                         (* x (+ (* y t_10) (+ (* y2 t_22) t_16)))))))
                     (if (<= y5 1e+150)
                       (fma
                        t_11
                        t_18
                        (fma
                         c
                         t_21
                         (-
                          (+
                           (fma
                            y4
                            (* b t_1)
                            (fma
                             i
                             (fma t_5 y1 (* c (- (* t z) (* y x))))
                             (fma
                              a
                              (fma b t_12 t_2)
                              (* y5 (+ (* a t_9) (* i t_15))))))
                           (* c (* y4 (- (* y3 y) (* y2 t)))))
                          t_25)))
                       t_24))))))))))))

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 = (j * t) - (k * y);
	double t_2 = y1 * ((y3 * z) - (y2 * x));
	double t_3 = (y5 * a) - (y4 * c);
	double t_4 = (y1 * i) - (y0 * b);
	double t_5 = (j * x) - (k * z);
	double t_6 = fma(j, x, (z * -k));
	double t_7 = (y4 * b) - (y5 * i);
	double t_8 = t_1 * t_7;
	double t_9 = (y2 * t) - (y3 * y);
	double t_10 = (a * b) - (i * c);
	double t_11 = (k * y2) - (j * y3);
	double t_12 = (y * x) - (t * z);
	double t_13 = t_12 * c;
	double t_14 = i * ((y1 * t_6) - t_13);
	double t_15 = (k * y) - (j * t);
	double t_16 = j * t_4;
	double t_17 = y1 * t_5;
	double t_18 = (y1 * y4) - (y5 * y0);
	double t_19 = t_6 * -y0;
	double t_20 = (y2 * x) - (y3 * z);
	double t_21 = y0 * t_20;
	double t_22 = (y0 * c) - (y1 * a);
	double t_23 = fma(t_11, t_18, fma(t_9, t_3, (fma(fma(a, t_12, fma(y4, t_1, (y0 * ((k * z) - (j * x))))), b, fma(t_20, t_22, (i * (t_17 - t_13)))) + (i * (y5 * t_15)))));
	double t_24 = fma(t_11, t_18, fma(t_9, t_3, fma(t_1, fma(b, y4, (y5 * -i)), fma(x, fma(y, t_10, fma(t_22, y2, t_16)), (fma(t, t_10, fma(t_22, y3, (k * t_4))) * -z)))));
	double t_25 = y0 * (t_6 * b);
	double tmp;
	if (y5 <= -1e+163) {
		tmp = fma(t_11, t_18, fma(fma(a, t_12, t_19), b, (((a * (t * (y5 * y2))) + ((i * t_17) + (t_8 - (a * (y1 * (y2 * x)))))) + (y3 * ((a * (y1 * z)) - (a * (y5 * y)))))));
	} else if (y5 <= -0.01) {
		tmp = fma(t_11, t_18, fma(t_9, t_3, fma(t_20, t_22, fma(t_1, t_7, (k * (z * ((y0 * b) - (y1 * i))))))));
	} else if (y5 <= -7.294864740819608e-113) {
		tmp = t_23;
	} else if (y5 <= -7.58597788720551e-261) {
		tmp = fma(t_11, t_18, fma(t_22, t_20, fma(i, fma(y1, t_6, ((t * z) * c)), fma(y, ((((a * (x * b)) - (c * (x * i))) + (k * ((y5 * i) - (y4 * b)))) + (y3 * ((y4 * c) - (y5 * a)))), fma(t_3, (y2 * t), fma(t, (j * t_7), (b * (t_19 - (a * (t * z))))))))));
	} else if (y5 <= 1.93699319861375e-272) {
		tmp = fma(t_11, t_18, fma(t_9, t_3, fma(y0, fma(c, t_20, (t_6 * -b)), fma(t_1, t_7, ((a * ((t_12 * b) + t_2)) + t_14)))));
	} else if (y5 <= 4.1574090020428107e-234) {
		tmp = t_23;
	} else if (y5 <= 6.984235651185248e-181) {
		tmp = t_24;
	} else if (y5 <= 1e-8) {
		tmp = fma(t_11, t_18, fma(c, t_21, (fma(t_1, t_7, (fma((fma(b, t_12, (y5 * t_9)) + t_2), a, t_14) + (c * (y4 * (y3 * y))))) - t_25)));
	} else if (y5 <= 1e+50) {
		tmp = fma(t_11, t_18, fma(t_9, t_3, (t_8 - (((t * (z * t_10)) + ((k * (z * t_4)) + (t_22 * (y3 * z)))) - (x * ((y * t_10) + ((y2 * t_22) + t_16)))))));
	} else if (y5 <= 1e+150) {
		tmp = fma(t_11, t_18, fma(c, t_21, ((fma(y4, (b * t_1), fma(i, fma(t_5, y1, (c * ((t * z) - (y * x)))), fma(a, fma(b, t_12, t_2), (y5 * ((a * t_9) + (i * t_15)))))) + (c * (y4 * ((y3 * y) - (y2 * t))))) - t_25)));
	} else {
		tmp = t_24;
	}
	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(Float64(j * t) - Float64(k * y))
	t_2 = Float64(y1 * Float64(Float64(y3 * z) - Float64(y2 * x)))
	t_3 = Float64(Float64(y5 * a) - Float64(y4 * c))
	t_4 = Float64(Float64(y1 * i) - Float64(y0 * b))
	t_5 = Float64(Float64(j * x) - Float64(k * z))
	t_6 = fma(j, x, Float64(z * Float64(-k)))
	t_7 = Float64(Float64(y4 * b) - Float64(y5 * i))
	t_8 = Float64(t_1 * t_7)
	t_9 = Float64(Float64(y2 * t) - Float64(y3 * y))
	t_10 = Float64(Float64(a * b) - Float64(i * c))
	t_11 = Float64(Float64(k * y2) - Float64(j * y3))
	t_12 = Float64(Float64(y * x) - Float64(t * z))
	t_13 = Float64(t_12 * c)
	t_14 = Float64(i * Float64(Float64(y1 * t_6) - t_13))
	t_15 = Float64(Float64(k * y) - Float64(j * t))
	t_16 = Float64(j * t_4)
	t_17 = Float64(y1 * t_5)
	t_18 = Float64(Float64(y1 * y4) - Float64(y5 * y0))
	t_19 = Float64(t_6 * Float64(-y0))
	t_20 = Float64(Float64(y2 * x) - Float64(y3 * z))
	t_21 = Float64(y0 * t_20)
	t_22 = Float64(Float64(y0 * c) - Float64(y1 * a))
	t_23 = fma(t_11, t_18, fma(t_9, t_3, Float64(fma(fma(a, t_12, fma(y4, t_1, Float64(y0 * Float64(Float64(k * z) - Float64(j * x))))), b, fma(t_20, t_22, Float64(i * Float64(t_17 - t_13)))) + Float64(i * Float64(y5 * t_15)))))
	t_24 = fma(t_11, t_18, fma(t_9, t_3, fma(t_1, fma(b, y4, Float64(y5 * Float64(-i))), fma(x, fma(y, t_10, fma(t_22, y2, t_16)), Float64(fma(t, t_10, fma(t_22, y3, Float64(k * t_4))) * Float64(-z))))))
	t_25 = Float64(y0 * Float64(t_6 * b))
	tmp = 0.0
	if (y5 <= -1e+163)
		tmp = fma(t_11, t_18, fma(fma(a, t_12, t_19), b, Float64(Float64(Float64(a * Float64(t * Float64(y5 * y2))) + Float64(Float64(i * t_17) + Float64(t_8 - Float64(a * Float64(y1 * Float64(y2 * x)))))) + Float64(y3 * Float64(Float64(a * Float64(y1 * z)) - Float64(a * Float64(y5 * y)))))));
	elseif (y5 <= -0.01)
		tmp = fma(t_11, t_18, fma(t_9, t_3, fma(t_20, t_22, fma(t_1, t_7, Float64(k * Float64(z * Float64(Float64(y0 * b) - Float64(y1 * i))))))));
	elseif (y5 <= -7.294864740819608e-113)
		tmp = t_23;
	elseif (y5 <= -7.58597788720551e-261)
		tmp = fma(t_11, t_18, fma(t_22, t_20, fma(i, fma(y1, t_6, Float64(Float64(t * z) * c)), fma(y, Float64(Float64(Float64(Float64(a * Float64(x * b)) - Float64(c * Float64(x * i))) + Float64(k * Float64(Float64(y5 * i) - Float64(y4 * b)))) + Float64(y3 * Float64(Float64(y4 * c) - Float64(y5 * a)))), fma(t_3, Float64(y2 * t), fma(t, Float64(j * t_7), Float64(b * Float64(t_19 - Float64(a * Float64(t * z))))))))));
	elseif (y5 <= 1.93699319861375e-272)
		tmp = fma(t_11, t_18, fma(t_9, t_3, fma(y0, fma(c, t_20, Float64(t_6 * Float64(-b))), fma(t_1, t_7, Float64(Float64(a * Float64(Float64(t_12 * b) + t_2)) + t_14)))));
	elseif (y5 <= 4.1574090020428107e-234)
		tmp = t_23;
	elseif (y5 <= 6.984235651185248e-181)
		tmp = t_24;
	elseif (y5 <= 1e-8)
		tmp = fma(t_11, t_18, fma(c, t_21, Float64(fma(t_1, t_7, Float64(fma(Float64(fma(b, t_12, Float64(y5 * t_9)) + t_2), a, t_14) + Float64(c * Float64(y4 * Float64(y3 * y))))) - t_25)));
	elseif (y5 <= 1e+50)
		tmp = fma(t_11, t_18, fma(t_9, t_3, Float64(t_8 - Float64(Float64(Float64(t * Float64(z * t_10)) + Float64(Float64(k * Float64(z * t_4)) + Float64(t_22 * Float64(y3 * z)))) - Float64(x * Float64(Float64(y * t_10) + Float64(Float64(y2 * t_22) + t_16)))))));
	elseif (y5 <= 1e+150)
		tmp = fma(t_11, t_18, fma(c, t_21, Float64(Float64(fma(y4, Float64(b * t_1), fma(i, fma(t_5, y1, Float64(c * Float64(Float64(t * z) - Float64(y * x)))), fma(a, fma(b, t_12, t_2), Float64(y5 * Float64(Float64(a * t_9) + Float64(i * t_15)))))) + Float64(c * Float64(y4 * Float64(Float64(y3 * y) - Float64(y2 * t))))) - t_25)));
	else
		tmp = t_24;
	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[(N[(j * t), $MachinePrecision] - N[(k * y), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(y1 * N[(N[(y3 * z), $MachinePrecision] - N[(y2 * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(N[(y5 * a), $MachinePrecision] - N[(y4 * c), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$4 = N[(N[(y1 * i), $MachinePrecision] - N[(y0 * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$5 = N[(N[(j * x), $MachinePrecision] - N[(k * z), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$6 = N[(j * x + N[(z * (-k)), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$7 = N[(N[(y4 * b), $MachinePrecision] - N[(y5 * i), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$8 = N[(t$95$1 * t$95$7), $MachinePrecision]}, Block[{t$95$9 = N[(N[(y2 * t), $MachinePrecision] - N[(y3 * y), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$10 = N[(N[(a * b), $MachinePrecision] - N[(i * c), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$11 = N[(N[(k * y2), $MachinePrecision] - N[(j * y3), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$12 = N[(N[(y * x), $MachinePrecision] - N[(t * z), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$13 = N[(t$95$12 * c), $MachinePrecision]}, Block[{t$95$14 = N[(i * N[(N[(y1 * t$95$6), $MachinePrecision] - t$95$13), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$15 = N[(N[(k * y), $MachinePrecision] - N[(j * t), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$16 = N[(j * t$95$4), $MachinePrecision]}, Block[{t$95$17 = N[(y1 * t$95$5), $MachinePrecision]}, Block[{t$95$18 = N[(N[(y1 * y4), $MachinePrecision] - N[(y5 * y0), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$19 = N[(t$95$6 * (-y0)), $MachinePrecision]}, Block[{t$95$20 = N[(N[(y2 * x), $MachinePrecision] - N[(y3 * z), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$21 = N[(y0 * t$95$20), $MachinePrecision]}, Block[{t$95$22 = N[(N[(y0 * c), $MachinePrecision] - N[(y1 * a), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$23 = N[(t$95$11 * t$95$18 + N[(t$95$9 * t$95$3 + N[(N[(N[(a * t$95$12 + N[(y4 * t$95$1 + N[(y0 * N[(N[(k * z), $MachinePrecision] - N[(j * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * b + N[(t$95$20 * t$95$22 + N[(i * N[(t$95$17 - t$95$13), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(i * N[(y5 * t$95$15), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$24 = N[(t$95$11 * t$95$18 + N[(t$95$9 * t$95$3 + N[(t$95$1 * N[(b * y4 + N[(y5 * (-i)), $MachinePrecision]), $MachinePrecision] + N[(x * N[(y * t$95$10 + N[(t$95$22 * y2 + t$95$16), $MachinePrecision]), $MachinePrecision] + N[(N[(t * t$95$10 + N[(t$95$22 * y3 + N[(k * t$95$4), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * (-z)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$25 = N[(y0 * N[(t$95$6 * b), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y5, -1e+163], N[(t$95$11 * t$95$18 + N[(N[(a * t$95$12 + t$95$19), $MachinePrecision] * b + N[(N[(N[(a * N[(t * N[(y5 * y2), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(i * t$95$17), $MachinePrecision] + N[(t$95$8 - N[(a * N[(y1 * N[(y2 * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y3 * N[(N[(a * N[(y1 * z), $MachinePrecision]), $MachinePrecision] - N[(a * N[(y5 * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y5, -0.01], N[(t$95$11 * t$95$18 + N[(t$95$9 * t$95$3 + N[(t$95$20 * t$95$22 + N[(t$95$1 * t$95$7 + N[(k * N[(z * N[(N[(y0 * b), $MachinePrecision] - N[(y1 * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y5, -7.294864740819608e-113], t$95$23, If[LessEqual[y5, -7.58597788720551e-261], N[(t$95$11 * t$95$18 + N[(t$95$22 * t$95$20 + N[(i * N[(y1 * t$95$6 + N[(N[(t * z), $MachinePrecision] * c), $MachinePrecision]), $MachinePrecision] + N[(y * N[(N[(N[(N[(a * N[(x * b), $MachinePrecision]), $MachinePrecision] - N[(c * N[(x * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(k * N[(N[(y5 * i), $MachinePrecision] - N[(y4 * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y3 * N[(N[(y4 * c), $MachinePrecision] - N[(y5 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t$95$3 * N[(y2 * t), $MachinePrecision] + N[(t * N[(j * t$95$7), $MachinePrecision] + N[(b * N[(t$95$19 - N[(a * N[(t * z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y5, 1.93699319861375e-272], N[(t$95$11 * t$95$18 + N[(t$95$9 * t$95$3 + N[(y0 * N[(c * t$95$20 + N[(t$95$6 * (-b)), $MachinePrecision]), $MachinePrecision] + N[(t$95$1 * t$95$7 + N[(N[(a * N[(N[(t$95$12 * b), $MachinePrecision] + t$95$2), $MachinePrecision]), $MachinePrecision] + t$95$14), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y5, 4.1574090020428107e-234], t$95$23, If[LessEqual[y5, 6.984235651185248e-181], t$95$24, If[LessEqual[y5, 1e-8], N[(t$95$11 * t$95$18 + N[(c * t$95$21 + N[(N[(t$95$1 * t$95$7 + N[(N[(N[(N[(b * t$95$12 + N[(y5 * t$95$9), $MachinePrecision]), $MachinePrecision] + t$95$2), $MachinePrecision] * a + t$95$14), $MachinePrecision] + N[(c * N[(y4 * N[(y3 * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t$95$25), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y5, 1e+50], N[(t$95$11 * t$95$18 + N[(t$95$9 * t$95$3 + N[(t$95$8 - N[(N[(N[(t * N[(z * t$95$10), $MachinePrecision]), $MachinePrecision] + N[(N[(k * N[(z * t$95$4), $MachinePrecision]), $MachinePrecision] + N[(t$95$22 * N[(y3 * z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(x * N[(N[(y * t$95$10), $MachinePrecision] + N[(N[(y2 * t$95$22), $MachinePrecision] + t$95$16), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y5, 1e+150], N[(t$95$11 * t$95$18 + N[(c * t$95$21 + N[(N[(N[(y4 * N[(b * t$95$1), $MachinePrecision] + N[(i * N[(t$95$5 * y1 + N[(c * N[(N[(t * z), $MachinePrecision] - N[(y * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(a * N[(b * t$95$12 + t$95$2), $MachinePrecision] + N[(y5 * N[(N[(a * t$95$9), $MachinePrecision] + N[(i * t$95$15), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(c * N[(y4 * N[(N[(y3 * y), $MachinePrecision] - N[(y2 * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t$95$25), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$24]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

Target

Original	27.3
Target	31.2
Herbie	28.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 9 regimes

2. if y5 < -9.9999999999999994e162

   1. Initial program 33.8

      \[\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 33.8

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in b around 0 33.4

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{\left(a \cdot \left(y \cdot x - t \cdot z\right) + -1 \cdot \left(y0 \cdot \left(j \cdot x - k \cdot z\right)\right)\right) \cdot b + \left(-1 \cdot \left(c \cdot \left(i \cdot \left(y \cdot x - t \cdot z\right)\right)\right) + y1 \cdot \left(i \cdot \left(j \cdot x - k \cdot z\right)\right)\right)}\right)\right)\right)\right) \]

   4. Simplified 35.9

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

   5. Taylor expanded in y3 around 0 36.8

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

   6. Simplified 36.8

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

   7. Taylor expanded in c around 0 44.3

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

   if -9.9999999999999994e162 < y5 < -0.0100000000000000002

   1. Initial program 25.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 25.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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in k around inf 30.9

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{-1 \cdot \left(k \cdot \left(\left(i \cdot y1 - y0 \cdot b\right) \cdot z\right)\right)}\right)\right)\right)\right) \]

   if -0.0100000000000000002 < y5 < -7.29486474081960833e-113 or 1.93699319861374992e-272 < y5 < 4.15740900204281065e-234

   1. Initial program 24.8

      \[\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.8

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in b around 0 27.4

      \[\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(i \cdot \left(\left(t \cdot j - k \cdot y\right) \cdot y5\right)\right) + \left(\left(a \cdot \left(y \cdot x - t \cdot z\right) + \left(y4 \cdot \left(t \cdot j - k \cdot y\right) + -1 \cdot \left(y0 \cdot \left(j \cdot x - k \cdot z\right)\right)\right)\right) \cdot b + \left(\left(x \cdot y2 - y3 \cdot z\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(-1 \cdot \left(c \cdot \left(i \cdot \left(y \cdot x - t \cdot z\right)\right)\right) + y1 \cdot \left(i \cdot \left(j \cdot x - k \cdot z\right)\right)\right)\right)\right)}\right)\right) \]

   4. Simplified 26.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(\mathsf{fma}\left(a, x \cdot y - z \cdot t, \mathsf{fma}\left(y4, j \cdot t - k \cdot y, \left(j \cdot x - k \cdot z\right) \cdot \left(-y0\right)\right)\right), b, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, y0 \cdot c - y1 \cdot a, i \cdot \left(y1 \cdot \left(j \cdot x - k \cdot z\right) - c \cdot \left(x \cdot y - z \cdot t\right)\right)\right)\right) - i \cdot \left(\left(j \cdot t - k \cdot y\right) \cdot y5\right)}\right)\right) \]

   if -7.29486474081960833e-113 < y5 < -7.5859778872055103e-261

   1. Initial program 27.3

      \[\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.3

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in b around 0 29.4

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{\left(a \cdot \left(y \cdot x - t \cdot z\right) + -1 \cdot \left(y0 \cdot \left(j \cdot x - k \cdot z\right)\right)\right) \cdot b + \left(-1 \cdot \left(c \cdot \left(i \cdot \left(y \cdot x - t \cdot z\right)\right)\right) + y1 \cdot \left(i \cdot \left(j \cdot x - k \cdot z\right)\right)\right)}\right)\right)\right)\right) \]

   4. Simplified 28.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, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{\mathsf{fma}\left(i, y1 \cdot \left(j \cdot x - k \cdot z\right) - c \cdot \left(x \cdot y - z \cdot t\right), b \cdot \mathsf{fma}\left(a, x \cdot y - z \cdot t, \left(j \cdot x - k \cdot z\right) \cdot \left(-y0\right)\right)\right)}\right)\right)\right)\right) \]

   5. Taylor expanded in y around 0 27.9

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

   6. Simplified 27.9

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

   if -7.5859778872055103e-261 < y5 < 1.93699319861374992e-272

   1. Initial program 27.9

      \[\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.9

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in b around 0 30.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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{\left(a \cdot \left(y \cdot x - t \cdot z\right) + -1 \cdot \left(y0 \cdot \left(j \cdot x - k \cdot z\right)\right)\right) \cdot b + \left(-1 \cdot \left(c \cdot \left(i \cdot \left(y \cdot x - t \cdot z\right)\right)\right) + y1 \cdot \left(i \cdot \left(j \cdot x - k \cdot z\right)\right)\right)}\right)\right)\right)\right) \]

   4. Simplified 29.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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{\mathsf{fma}\left(i, y1 \cdot \left(j \cdot x - k \cdot z\right) - c \cdot \left(x \cdot y - z \cdot t\right), b \cdot \mathsf{fma}\left(a, x \cdot y - z \cdot t, \left(j \cdot x - k \cdot z\right) \cdot \left(-y0\right)\right)\right)}\right)\right)\right)\right) \]

   5. Taylor expanded in y0 around 0 28.6

      \[\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}{y0 \cdot \left(c \cdot \left(x \cdot y2 - y3 \cdot z\right) + -1 \cdot \left(\left(j \cdot x - k \cdot z\right) \cdot b\right)\right) + \left(\left(t \cdot j - k \cdot y\right) \cdot \left(y4 \cdot b - i \cdot y5\right) + \left(a \cdot \left(b \cdot \left(y \cdot x - t \cdot z\right)\right) + \left(-1 \cdot \left(a \cdot \left(\left(x \cdot y2 - y3 \cdot z\right) \cdot y1\right)\right) + i \cdot \left(y1 \cdot \left(j \cdot x - k \cdot z\right) - c \cdot \left(y \cdot x - t \cdot z\right)\right)\right)\right)\right)}\right)\right) \]

   6. Simplified 28.6

      \[\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(y0, \mathsf{fma}\left(c, x \cdot y2 - z \cdot y3, b \cdot \left(-\mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right)\right)\right), \mathsf{fma}\left(t \cdot j - k \cdot y, y4 \cdot b - i \cdot y5, a \cdot \left(b \cdot \left(y \cdot x - t \cdot z\right) - y1 \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + i \cdot \left(y1 \cdot \mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right) - c \cdot \left(y \cdot x - t \cdot z\right)\right)\right)\right)}\right)\right) \]

   if 4.15740900204281065e-234 < y5 < 6.9842356511852481e-181 or 9.99999999999999981e149 < y5

   1. Initial program 30.8

      \[\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 30.8

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in x around 0 30.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, \color{blue}{\left(t \cdot j - k \cdot y\right) \cdot \left(y4 \cdot b - i \cdot y5\right) + \left(x \cdot \left(y \cdot \left(a \cdot b - c \cdot i\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot y2 + \left(i \cdot y1 - y0 \cdot b\right) \cdot j\right)\right) + \left(-1 \cdot \left(t \cdot \left(z \cdot \left(a \cdot b - c \cdot i\right)\right)\right) + \left(-1 \cdot \left(k \cdot \left(\left(i \cdot y1 - y0 \cdot b\right) \cdot z\right)\right) + -1 \cdot \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y3 \cdot z\right)\right)\right)\right)\right)}\right)\right) \]

   4. Simplified 29.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(j \cdot t - k \cdot y, \mathsf{fma}\left(b, y4, y5 \cdot \left(-i\right)\right), \mathsf{fma}\left(x, \mathsf{fma}\left(y, b \cdot a - i \cdot c, \mathsf{fma}\left(y0 \cdot c - y1 \cdot a, y2, j \cdot \left(y1 \cdot i - y0 \cdot b\right)\right)\right), \mathsf{fma}\left(t, b \cdot a - i \cdot c, \mathsf{fma}\left(y0 \cdot c - y1 \cdot a, y3, k \cdot \left(y1 \cdot i - y0 \cdot b\right)\right)\right) \cdot \left(-z\right)\right)\right)}\right)\right) \]

   if 6.9842356511852481e-181 < y5 < 1e-8

   1. Initial program 26.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 26.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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in b around 0 26.4

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{\left(a \cdot \left(y \cdot x - t \cdot z\right) + -1 \cdot \left(y0 \cdot \left(j \cdot x - k \cdot z\right)\right)\right) \cdot b + \left(-1 \cdot \left(c \cdot \left(i \cdot \left(y \cdot x - t \cdot z\right)\right)\right) + y1 \cdot \left(i \cdot \left(j \cdot x - k \cdot z\right)\right)\right)}\right)\right)\right)\right) \]

   4. Simplified 25.5

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

   5. Taylor expanded in a around 0 23.8

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

   6. Simplified 23.8

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

   7. Taylor expanded in t around 0 25.5

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

   8. Simplified 25.5

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

   if 1e-8 < y5 < 1.0000000000000001e50

   1. Initial program 24.8

      \[\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.8

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in x around 0 24.4

      \[\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(t \cdot j - k \cdot y\right) \cdot \left(y4 \cdot b - i \cdot y5\right) + \left(x \cdot \left(y \cdot \left(a \cdot b - c \cdot i\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot y2 + \left(i \cdot y1 - y0 \cdot b\right) \cdot j\right)\right) + \left(-1 \cdot \left(t \cdot \left(z \cdot \left(a \cdot b - c \cdot i\right)\right)\right) + \left(-1 \cdot \left(k \cdot \left(\left(i \cdot y1 - y0 \cdot b\right) \cdot z\right)\right) + -1 \cdot \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y3 \cdot z\right)\right)\right)\right)\right)}\right)\right) \]

   if 1.0000000000000001e50 < y5 < 9.99999999999999981e149

   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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\right)\right)\right)\right)} \]

   3. Taylor expanded in b around 0 27.4

      \[\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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{\left(a \cdot \left(y \cdot x - t \cdot z\right) + -1 \cdot \left(y0 \cdot \left(j \cdot x - k \cdot z\right)\right)\right) \cdot b + \left(-1 \cdot \left(c \cdot \left(i \cdot \left(y \cdot x - t \cdot z\right)\right)\right) + y1 \cdot \left(i \cdot \left(j \cdot x - k \cdot z\right)\right)\right)}\right)\right)\right)\right) \]

   4. Simplified 28.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 y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \mathsf{fma}\left(t \cdot j - y \cdot k, b \cdot y4 - i \cdot y5, \color{blue}{\mathsf{fma}\left(i, y1 \cdot \left(j \cdot x - k \cdot z\right) - c \cdot \left(x \cdot y - z \cdot t\right), b \cdot \mathsf{fma}\left(a, x \cdot y - z \cdot t, \left(j \cdot x - k \cdot z\right) \cdot \left(-y0\right)\right)\right)}\right)\right)\right)\right) \]

   5. Taylor expanded in a around 0 28.8

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

   6. Simplified 28.8

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

   7. Taylor expanded in y5 around 0 25.6

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

   8. Simplified 25.6

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

4. Final simplification 28.5

   \[\leadsto \begin{array}{l} \mathbf{if}\;y5 \leq -1 \cdot 10^{+163}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(\mathsf{fma}\left(a, y \cdot x - t \cdot z, \mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right) \cdot \left(-y0\right)\right), b, \left(a \cdot \left(t \cdot \left(y5 \cdot y2\right)\right) + \left(i \cdot \left(y1 \cdot \left(j \cdot x - k \cdot z\right)\right) + \left(\left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) - a \cdot \left(y1 \cdot \left(y2 \cdot x\right)\right)\right)\right)\right) + y3 \cdot \left(a \cdot \left(y1 \cdot z\right) - a \cdot \left(y5 \cdot y\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq -0.01:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y2 \cdot x - y3 \cdot z, y0 \cdot c - y1 \cdot a, \mathsf{fma}\left(j \cdot t - k \cdot y, y4 \cdot b - y5 \cdot i, k \cdot \left(z \cdot \left(y0 \cdot b - y1 \cdot i\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq -7.294864740819608 \cdot 10^{-113}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(\mathsf{fma}\left(a, y \cdot x - t \cdot z, \mathsf{fma}\left(y4, j \cdot t - k \cdot y, y0 \cdot \left(k \cdot z - j \cdot x\right)\right)\right), b, \mathsf{fma}\left(y2 \cdot x - y3 \cdot z, y0 \cdot c - y1 \cdot a, i \cdot \left(y1 \cdot \left(j \cdot x - k \cdot z\right) - \left(y \cdot x - t \cdot z\right) \cdot c\right)\right)\right) + i \cdot \left(y5 \cdot \left(k \cdot y - j \cdot t\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq -7.58597788720551 \cdot 10^{-261}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(y0 \cdot c - y1 \cdot a, y2 \cdot x - y3 \cdot z, \mathsf{fma}\left(i, \mathsf{fma}\left(y1, \mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right), \left(t \cdot z\right) \cdot c\right), \mathsf{fma}\left(y, \left(\left(a \cdot \left(x \cdot b\right) - c \cdot \left(x \cdot i\right)\right) + k \cdot \left(y5 \cdot i - y4 \cdot b\right)\right) + y3 \cdot \left(y4 \cdot c - y5 \cdot a\right), \mathsf{fma}\left(y5 \cdot a - y4 \cdot c, y2 \cdot t, \mathsf{fma}\left(t, j \cdot \left(y4 \cdot b - y5 \cdot i\right), b \cdot \left(\mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right) \cdot \left(-y0\right) - a \cdot \left(t \cdot z\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 1.93699319861375 \cdot 10^{-272}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y0, \mathsf{fma}\left(c, y2 \cdot x - y3 \cdot z, \mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right) \cdot \left(-b\right)\right), \mathsf{fma}\left(j \cdot t - k \cdot y, y4 \cdot b - y5 \cdot i, a \cdot \left(\left(y \cdot x - t \cdot z\right) \cdot b + y1 \cdot \left(y3 \cdot z - y2 \cdot x\right)\right) + i \cdot \left(y1 \cdot \mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right) - \left(y \cdot x - t \cdot z\right) \cdot c\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 4.1574090020428107 \cdot 10^{-234}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(\mathsf{fma}\left(a, y \cdot x - t \cdot z, \mathsf{fma}\left(y4, j \cdot t - k \cdot y, y0 \cdot \left(k \cdot z - j \cdot x\right)\right)\right), b, \mathsf{fma}\left(y2 \cdot x - y3 \cdot z, y0 \cdot c - y1 \cdot a, i \cdot \left(y1 \cdot \left(j \cdot x - k \cdot z\right) - \left(y \cdot x - t \cdot z\right) \cdot c\right)\right)\right) + i \cdot \left(y5 \cdot \left(k \cdot y - j \cdot t\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 6.984235651185248 \cdot 10^{-181}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(j \cdot t - k \cdot y, \mathsf{fma}\left(b, y4, y5 \cdot \left(-i\right)\right), \mathsf{fma}\left(x, \mathsf{fma}\left(y, a \cdot b - i \cdot c, \mathsf{fma}\left(y0 \cdot c - y1 \cdot a, y2, j \cdot \left(y1 \cdot i - y0 \cdot b\right)\right)\right), \mathsf{fma}\left(t, a \cdot b - i \cdot c, \mathsf{fma}\left(y0 \cdot c - y1 \cdot a, y3, k \cdot \left(y1 \cdot i - y0 \cdot b\right)\right)\right) \cdot \left(-z\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 10^{-8}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x - y3 \cdot z\right), \mathsf{fma}\left(j \cdot t - k \cdot y, y4 \cdot b - y5 \cdot i, \mathsf{fma}\left(\mathsf{fma}\left(b, y \cdot x - t \cdot z, y5 \cdot \left(y2 \cdot t - y3 \cdot y\right)\right) + y1 \cdot \left(y3 \cdot z - y2 \cdot x\right), a, i \cdot \left(y1 \cdot \mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right) - \left(y \cdot x - t \cdot z\right) \cdot c\right)\right) + c \cdot \left(y4 \cdot \left(y3 \cdot y\right)\right)\right) - y0 \cdot \left(\mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right) \cdot b\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 10^{+50}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) - \left(\left(t \cdot \left(z \cdot \left(a \cdot b - i \cdot c\right)\right) + \left(k \cdot \left(z \cdot \left(y1 \cdot i - y0 \cdot b\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(y3 \cdot z\right)\right)\right) - x \cdot \left(y \cdot \left(a \cdot b - i \cdot c\right) + \left(y2 \cdot \left(y0 \cdot c - y1 \cdot a\right) + j \cdot \left(y1 \cdot i - y0 \cdot b\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y5 \leq 10^{+150}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x - y3 \cdot z\right), \left(\mathsf{fma}\left(y4, b \cdot \left(j \cdot t - k \cdot y\right), \mathsf{fma}\left(i, \mathsf{fma}\left(j \cdot x - k \cdot z, y1, c \cdot \left(t \cdot z - y \cdot x\right)\right), \mathsf{fma}\left(a, \mathsf{fma}\left(b, y \cdot x - t \cdot z, y1 \cdot \left(y3 \cdot z - y2 \cdot x\right)\right), y5 \cdot \left(a \cdot \left(y2 \cdot t - y3 \cdot y\right) + i \cdot \left(k \cdot y - j \cdot t\right)\right)\right)\right)\right) + c \cdot \left(y4 \cdot \left(y3 \cdot y - y2 \cdot t\right)\right)\right) - y0 \cdot \left(\mathsf{fma}\left(j, x, z \cdot \left(-k\right)\right) \cdot b\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y5 \cdot y0, \mathsf{fma}\left(y2 \cdot t - y3 \cdot y, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(j \cdot t - k \cdot y, \mathsf{fma}\left(b, y4, y5 \cdot \left(-i\right)\right), \mathsf{fma}\left(x, \mathsf{fma}\left(y, a \cdot b - i \cdot c, \mathsf{fma}\left(y0 \cdot c - y1 \cdot a, y2, j \cdot \left(y1 \cdot i - y0 \cdot b\right)\right)\right), \mathsf{fma}\left(t, a \cdot b - i \cdot c, \mathsf{fma}\left(y0 \cdot c - y1 \cdot a, y3, k \cdot \left(y1 \cdot i - y0 \cdot b\right)\right)\right) \cdot \left(-z\right)\right)\right)\right)\right)\\ \end{array} \]

Reproduce

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