Linear.Matrix:det44 from linear-1.19.1.3

Average Error: 26.7 → 29.4

Time: 2.0min

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} \mathbf{if}\;z \leq -4.787484251914425 \cdot 10^{+90}:\\ \;\;\;\;\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(i \cdot y1 - b \cdot y0\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + \left(\left(j \cdot y5\right) \cdot \left(y0 \cdot y3\right) - \left(\left(y4 \cdot \left(j \cdot \left(y1 \cdot y3\right)\right) + k \cdot \left(y5 \cdot \left(y0 \cdot y2\right)\right)\right) - \left(y2 \cdot y4\right) \cdot \left(k \cdot y1\right)\right)\right)\\ \mathbf{elif}\;z \leq -3.552233240443482 \cdot 10^{-108}:\\ \;\;\;\;\left(\left(\left(\left(\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right) + \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right) + \left(\left(a \cdot \left(z \cdot \left(y1 \cdot y3\right)\right) + y0 \cdot \left(x \cdot \left(c \cdot y2\right)\right)\right) - \left(a \cdot \left(x \cdot \left(y1 \cdot y2\right)\right) + y0 \cdot \left(z \cdot \left(c \cdot y3\right)\right)\right)\right)\right) + \left(t \cdot \left(y4 \cdot \left(b \cdot j\right)\right) + \left(k \cdot \left(i \cdot \left(y \cdot y5\right)\right) - \left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\right)\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\\ \mathbf{elif}\;z \leq -1.3392360610330107 \cdot 10^{-146}:\\ \;\;\;\;\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(i \cdot y1 - b \cdot y0\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + \left(\left(k \cdot \left(y1 \cdot \left(y2 \cdot y4\right)\right) + y0 \cdot \left(y3 \cdot \left(j \cdot y5\right)\right)\right) - \left(y0 \cdot \left(y2 \cdot \left(k \cdot y5\right)\right) + j \cdot \left(y3 \cdot \left(y1 \cdot y4\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -6.843930061159293 \cdot 10^{-267}:\\ \;\;\;\;k \cdot \left(y2 \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\right) - \left(\left(t \cdot \left(y2 \cdot \left(c \cdot y4\right)\right) + \left(a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right) - \left(y4 \cdot \left(y3 \cdot \left(y \cdot c\right)\right) + y5 \cdot \left(a \cdot \left(t \cdot y2\right)\right)\right)\right)\right) + \left(\left(\left(\left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right) - k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - t \cdot \left(y4 \cdot \left(b \cdot j\right)\right)\right) + \left(\left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 8.280075601625665 \cdot 10^{-165}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) - \left(\left(t \cdot y2 - y \cdot y3\right) \cdot \left(c \cdot y4 - a \cdot y5\right) + \left(\left(t \cdot j - y \cdot k\right) \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(\left(\left(\left(y1 \cdot y2\right) \cdot \left(x \cdot a\right) + y0 \cdot \left(y3 \cdot \left(z \cdot c\right)\right)\right) - \left(y3 \cdot \left(a \cdot \left(z \cdot y1\right)\right) + x \cdot \left(y0 \cdot \left(c \cdot y2\right)\right)\right)\right) + \left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 5.196509111325486 \cdot 10^{-111}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(t \cdot \left(y4 \cdot \left(b \cdot j\right)\right) + \left(k \cdot \left(i \cdot \left(y \cdot y5\right)\right) - \left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\right)\right) + \left(\left(\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right) + \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right) + y0 \cdot \left(c \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\right)\right) + \left(\left(\left(y4 \cdot \left(y3 \cdot \left(y \cdot c\right)\right) + y5 \cdot \left(a \cdot \left(t \cdot y2\right)\right)\right) - a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right)\right) - t \cdot \left(y2 \cdot \left(c \cdot y4\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 6.773612443337184 \cdot 10^{+18}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right) - \left(\left(t \cdot j - y \cdot k\right) \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(\left(\left(a \cdot \left(x \cdot \left(y1 \cdot y2\right)\right) + y0 \cdot \left(y3 \cdot \left(z \cdot c\right)\right)\right) - \left(y0 \cdot \left(x \cdot \left(c \cdot y2\right)\right) + \left(z \cdot y1\right) \cdot \left(a \cdot y3\right)\right)\right) + \left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 3.68239972793783 \cdot 10^{+149}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(y5 \cdot \left(a \cdot \left(t \cdot y2 - y \cdot y3\right)\right) - \left(\left(\left(\left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right) - k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - t \cdot \left(y4 \cdot \left(b \cdot j\right)\right)\right) + \left(\left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 2.801212191733948 \cdot 10^{+207}:\\ \;\;\;\;\left(\left(\left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right) - \left(\left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + y0 \cdot \left(y5 \cdot \left(j \cdot y3 - k \cdot y2\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right) + \left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right) + \left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) + k \cdot \left(z \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\ \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
 (if (<= z -4.787484251914425e+90)
   (+
    (+
     (+
      (+
       (+
        (* (- (* x y) (* z t)) (- (* a b) (* c i)))
        (* (- (* x j) (* z k)) (- (* i y1) (* b y0))))
       (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))))
      (* (- (* t j) (* y k)) (- (* b y4) (* i y5))))
     (* (- (* c y4) (* a y5)) (- (* y y3) (* t y2))))
    (-
     (* (* j y5) (* y0 y3))
     (-
      (+ (* y4 (* j (* y1 y3))) (* k (* y5 (* y0 y2))))
      (* (* y2 y4) (* k y1)))))
   (if (<= z -3.552233240443482e-108)
     (+
      (+
       (+
        (+
         (+
          (-
           (+ (* a (* x (* y b))) (* t (* i (* z c))))
           (+ (* t (* a (* z b))) (* i (* x (* y c)))))
          (* (- (* x j) (* z k)) (- (* i y1) (* b y0))))
         (-
          (+ (* a (* z (* y1 y3))) (* y0 (* x (* c y2))))
          (+ (* a (* x (* y1 y2))) (* y0 (* z (* c y3))))))
        (+
         (* t (* y4 (* b j)))
         (-
          (* k (* i (* y y5)))
          (+ (* k (* y (* b y4))) (* t (* i (* j y5)))))))
       (* (- (* c y4) (* a y5)) (- (* y y3) (* t y2))))
      (* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5))))
     (if (<= z -1.3392360610330107e-146)
       (+
        (+
         (+
          (+
           (+
            (* (- (* x y) (* z t)) (- (* a b) (* c i)))
            (* (- (* x j) (* z k)) (- (* i y1) (* b y0))))
           (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))))
          (* (- (* t j) (* y k)) (- (* b y4) (* i y5))))
         (* (- (* c y4) (* a y5)) (- (* y y3) (* t y2))))
        (-
         (+ (* k (* y1 (* y2 y4))) (* y0 (* y3 (* j y5))))
         (+ (* y0 (* y2 (* k y5))) (* j (* y3 (* y1 y4))))))
       (if (<= z -6.843930061159293e-267)
         (-
          (* k (* y2 (- (* y1 y4) (* y0 y5))))
          (+
           (+
            (* t (* y2 (* c y4)))
            (-
             (* a (* y3 (* y y5)))
             (+ (* y4 (* y3 (* y c))) (* y5 (* a (* t y2))))))
           (+
            (-
             (-
              (+ (* k (* y (* b y4))) (* t (* i (* j y5))))
              (* k (* i (* y y5))))
             (* t (* y4 (* b j))))
            (+
             (-
              (* (- (* x j) (* z k)) (- (* b y0) (* i y1)))
              (-
               (+ (* a (* x (* y b))) (* t (* i (* z c))))
               (+ (* t (* a (* z b))) (* i (* x (* y c))))))
             (* (- (* x y2) (* z y3)) (- (* a y1) (* c y0)))))))
         (if (<= z 8.280075601625665e-165)
           (-
            (* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
            (+
             (* (- (* t y2) (* y y3)) (- (* c y4) (* a y5)))
             (+
              (* (- (* t j) (* y k)) (- (* i y5) (* b y4)))
              (+
               (-
                (+ (* (* y1 y2) (* x a)) (* y0 (* y3 (* z c))))
                (+ (* y3 (* a (* z y1))) (* x (* y0 (* c y2)))))
               (-
                (* (- (* x j) (* z k)) (- (* b y0) (* i y1)))
                (-
                 (+ (* a (* x (* y b))) (* t (* i (* z c))))
                 (+ (* t (* a (* z b))) (* i (* x (* y c))))))))))
           (if (<= z 5.196509111325486e-111)
             (+
              (* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
              (+
               (+
                (+
                 (* t (* y4 (* b j)))
                 (-
                  (* k (* i (* y y5)))
                  (+ (* k (* y (* b y4))) (* t (* i (* j y5))))))
                (+
                 (+
                  (-
                   (+ (* a (* x (* y b))) (* t (* i (* z c))))
                   (+ (* t (* a (* z b))) (* i (* x (* y c)))))
                  (* (- (* x j) (* z k)) (- (* i y1) (* b y0))))
                 (* y0 (* c (- (* x y2) (* z y3))))))
               (-
                (-
                 (+ (* y4 (* y3 (* y c))) (* y5 (* a (* t y2))))
                 (* a (* y3 (* y y5))))
                (* t (* y2 (* c y4))))))
             (if (<= z 6.773612443337184e+18)
               (+
                (* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
                (-
                 (* (- (* c y4) (* a y5)) (- (* y y3) (* t y2)))
                 (+
                  (* (- (* t j) (* y k)) (- (* i y5) (* b y4)))
                  (+
                   (-
                    (+ (* a (* x (* y1 y2))) (* y0 (* y3 (* z c))))
                    (+ (* y0 (* x (* c y2))) (* (* z y1) (* a y3))))
                   (-
                    (* (- (* x j) (* z k)) (- (* b y0) (* i y1)))
                    (-
                     (+ (* a (* x (* y b))) (* t (* i (* z c))))
                     (+ (* t (* a (* z b))) (* i (* x (* y c))))))))))
               (if (<= z 3.68239972793783e+149)
                 (+
                  (* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
                  (-
                   (* y5 (* a (- (* t y2) (* y y3))))
                   (+
                    (-
                     (-
                      (+ (* k (* y (* b y4))) (* t (* i (* j y5))))
                      (* k (* i (* y y5))))
                     (* t (* y4 (* b j))))
                    (+
                     (-
                      (* (- (* x j) (* z k)) (- (* b y0) (* i y1)))
                      (-
                       (+ (* a (* x (* y b))) (* t (* i (* z c))))
                       (+ (* t (* a (* z b))) (* i (* x (* y c))))))
                     (* (- (* x y2) (* z y3)) (- (* a y1) (* c y0)))))))
                 (if (<= z 2.801212191733948e+207)
                   (+
                    (+
                     (-
                      (* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
                      (+
                       (-
                        (* (- (* x j) (* z k)) (- (* b y0) (* i y1)))
                        (-
                         (+ (* a (* x (* y b))) (* t (* i (* z c))))
                         (+ (* t (* a (* z b))) (* i (* x (* y c))))))
                       (* (- (* x y2) (* z y3)) (- (* a y1) (* c y0)))))
                     (* (- (* c y4) (* a y5)) (- (* y y3) (* t y2))))
                    (* y0 (* y5 (- (* j y3) (* k y2)))))
                   (+
                    (* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
                    (+
                     (+
                      (* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
                      (+
                       (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
                       (+
                        (* (- (* x y) (* z t)) (- (* a b) (* c i)))
                        (* k (* z (- (* b y0) (* i y1)))))))
                     (*
                      (- (* c y4) (* a y5))
                      (- (* y y3) (* t y2)))))))))))))))

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 tmp;
	if (z <= -4.787484251914425e+90) {
		tmp = (((((((x * y) - (z * t)) * ((a * b) - (c * i))) + (((x * j) - (z * k)) * ((i * y1) - (b * y0)))) + (((x * y2) - (z * y3)) * ((c * y0) - (a * y1)))) + (((t * j) - (y * k)) * ((b * y4) - (i * y5)))) + (((c * y4) - (a * y5)) * ((y * y3) - (t * y2)))) + (((j * y5) * (y0 * y3)) - (((y4 * (j * (y1 * y3))) + (k * (y5 * (y0 * y2)))) - ((y2 * y4) * (k * y1))));
	} else if (z <= -3.552233240443482e-108) {
		tmp = (((((((a * (x * (y * b))) + (t * (i * (z * c)))) - ((t * (a * (z * b))) + (i * (x * (y * c))))) + (((x * j) - (z * k)) * ((i * y1) - (b * y0)))) + (((a * (z * (y1 * y3))) + (y0 * (x * (c * y2)))) - ((a * (x * (y1 * y2))) + (y0 * (z * (c * y3)))))) + ((t * (y4 * (b * j))) + ((k * (i * (y * y5))) - ((k * (y * (b * y4))) + (t * (i * (j * y5))))))) + (((c * y4) - (a * y5)) * ((y * y3) - (t * y2)))) + (((k * y2) - (j * y3)) * ((y1 * y4) - (y0 * y5)));
	} else if (z <= -1.3392360610330107e-146) {
		tmp = (((((((x * y) - (z * t)) * ((a * b) - (c * i))) + (((x * j) - (z * k)) * ((i * y1) - (b * y0)))) + (((x * y2) - (z * y3)) * ((c * y0) - (a * y1)))) + (((t * j) - (y * k)) * ((b * y4) - (i * y5)))) + (((c * y4) - (a * y5)) * ((y * y3) - (t * y2)))) + (((k * (y1 * (y2 * y4))) + (y0 * (y3 * (j * y5)))) - ((y0 * (y2 * (k * y5))) + (j * (y3 * (y1 * y4)))));
	} else if (z <= -6.843930061159293e-267) {
		tmp = (k * (y2 * ((y1 * y4) - (y0 * y5)))) - (((t * (y2 * (c * y4))) + ((a * (y3 * (y * y5))) - ((y4 * (y3 * (y * c))) + (y5 * (a * (t * y2)))))) + (((((k * (y * (b * y4))) + (t * (i * (j * y5)))) - (k * (i * (y * y5)))) - (t * (y4 * (b * j)))) + (((((x * j) - (z * k)) * ((b * y0) - (i * y1))) - (((a * (x * (y * b))) + (t * (i * (z * c)))) - ((t * (a * (z * b))) + (i * (x * (y * c)))))) + (((x * y2) - (z * y3)) * ((a * y1) - (c * y0))))));
	} else if (z <= 8.280075601625665e-165) {
		tmp = (((k * y2) - (j * y3)) * ((y1 * y4) - (y0 * y5))) - ((((t * y2) - (y * y3)) * ((c * y4) - (a * y5))) + ((((t * j) - (y * k)) * ((i * y5) - (b * y4))) + (((((y1 * y2) * (x * a)) + (y0 * (y3 * (z * c)))) - ((y3 * (a * (z * y1))) + (x * (y0 * (c * y2))))) + ((((x * j) - (z * k)) * ((b * y0) - (i * y1))) - (((a * (x * (y * b))) + (t * (i * (z * c)))) - ((t * (a * (z * b))) + (i * (x * (y * c)))))))));
	} else if (z <= 5.196509111325486e-111) {
		tmp = (((k * y2) - (j * y3)) * ((y1 * y4) - (y0 * y5))) + ((((t * (y4 * (b * j))) + ((k * (i * (y * y5))) - ((k * (y * (b * y4))) + (t * (i * (j * y5)))))) + (((((a * (x * (y * b))) + (t * (i * (z * c)))) - ((t * (a * (z * b))) + (i * (x * (y * c))))) + (((x * j) - (z * k)) * ((i * y1) - (b * y0)))) + (y0 * (c * ((x * y2) - (z * y3)))))) + ((((y4 * (y3 * (y * c))) + (y5 * (a * (t * y2)))) - (a * (y3 * (y * y5)))) - (t * (y2 * (c * y4)))));
	} else if (z <= 6.773612443337184e+18) {
		tmp = (((k * y2) - (j * y3)) * ((y1 * y4) - (y0 * y5))) + ((((c * y4) - (a * y5)) * ((y * y3) - (t * y2))) - ((((t * j) - (y * k)) * ((i * y5) - (b * y4))) + ((((a * (x * (y1 * y2))) + (y0 * (y3 * (z * c)))) - ((y0 * (x * (c * y2))) + ((z * y1) * (a * y3)))) + ((((x * j) - (z * k)) * ((b * y0) - (i * y1))) - (((a * (x * (y * b))) + (t * (i * (z * c)))) - ((t * (a * (z * b))) + (i * (x * (y * c)))))))));
	} else if (z <= 3.68239972793783e+149) {
		tmp = (((k * y2) - (j * y3)) * ((y1 * y4) - (y0 * y5))) + ((y5 * (a * ((t * y2) - (y * y3)))) - (((((k * (y * (b * y4))) + (t * (i * (j * y5)))) - (k * (i * (y * y5)))) - (t * (y4 * (b * j)))) + (((((x * j) - (z * k)) * ((b * y0) - (i * y1))) - (((a * (x * (y * b))) + (t * (i * (z * c)))) - ((t * (a * (z * b))) + (i * (x * (y * c)))))) + (((x * y2) - (z * y3)) * ((a * y1) - (c * y0))))));
	} else if (z <= 2.801212191733948e+207) {
		tmp = (((((t * j) - (y * k)) * ((b * y4) - (i * y5))) - (((((x * j) - (z * k)) * ((b * y0) - (i * y1))) - (((a * (x * (y * b))) + (t * (i * (z * c)))) - ((t * (a * (z * b))) + (i * (x * (y * c)))))) + (((x * y2) - (z * y3)) * ((a * y1) - (c * y0))))) + (((c * y4) - (a * y5)) * ((y * y3) - (t * y2)))) + (y0 * (y5 * ((j * y3) - (k * y2))));
	} else {
		tmp = (((k * y2) - (j * y3)) * ((y1 * y4) - (y0 * y5))) + (((((t * j) - (y * k)) * ((b * y4) - (i * y5))) + ((((x * y2) - (z * y3)) * ((c * y0) - (a * y1))) + ((((x * y) - (z * t)) * ((a * b) - (c * i))) + (k * (z * ((b * y0) - (i * y1))))))) + (((c * y4) - (a * y5)) * ((y * y3) - (t * y2))));
	}
	return tmp;
}

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.4
Herbie	29.4

\[\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 10 regimes

2. if z < -4.78748425191442535e90

   1. Initial program 29.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. Taylor expanded around 0 32.6

      \[\leadsto \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) + \color{blue}{\left(\left(k \cdot \left(y1 \cdot \left(y2 \cdot y4\right)\right) + y0 \cdot \left(y3 \cdot \left(j \cdot y5\right)\right)\right) - \left(y4 \cdot \left(y3 \cdot \left(y1 \cdot j\right)\right) + k \cdot \left(y2 \cdot \left(y0 \cdot y5\right)\right)\right)\right)}\]

   3. Simplified 31.8

      \[\leadsto \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) + \color{blue}{\left(\left(y5 \cdot j\right) \cdot \left(y3 \cdot y0\right) + \left(\left(y4 \cdot y2\right) \cdot \left(y1 \cdot k\right) - \left(y4 \cdot \left(j \cdot \left(y1 \cdot y3\right)\right) + k \cdot \left(y5 \cdot \left(y0 \cdot y2\right)\right)\right)\right)\right)}\]

   if -4.78748425191442535e90 < z < -3.5522332404434819e-108

   1. Initial program 24.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. Taylor expanded around 0 26.7

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   3. Simplified 26.7

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   4. Taylor expanded around 0 27.0

      \[\leadsto \left(\left(\left(\left(\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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) + \color{blue}{\left(\left(t \cdot \left(j \cdot \left(y4 \cdot b\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - \left(k \cdot \left(y \cdot \left(y4 \cdot b\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\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)\]

   5. Simplified 27.7

      \[\leadsto \left(\left(\left(\left(\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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) + \color{blue}{\left(t \cdot \left(y4 \cdot \left(b \cdot j\right)\right) + \left(k \cdot \left(i \cdot \left(y5 \cdot y\right)\right) - \left(k \cdot \left(\left(y4 \cdot b\right) \cdot y\right) + t \cdot \left(i \cdot \left(y5 \cdot j\right)\right)\right)\right)\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)\]

   6. Taylor expanded around 0 28.5

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

   if -3.5522332404434819e-108 < z < -1.3392360610330107e-146

   1. Initial program 24.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. Taylor expanded around 0 24.8

      \[\leadsto \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) + \color{blue}{\left(\left(k \cdot \left(y1 \cdot \left(y2 \cdot y4\right)\right) + y0 \cdot \left(y3 \cdot \left(j \cdot y5\right)\right)\right) - \left(y0 \cdot \left(y2 \cdot \left(k \cdot y5\right)\right) + j \cdot \left(y3 \cdot \left(y4 \cdot y1\right)\right)\right)\right)}\]

   if -1.3392360610330107e-146 < z < -6.84393006115929279e-267

   1. Initial program 26.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. Taylor expanded around 0 26.0

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   3. Simplified 26.0

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   4. Taylor expanded around 0 24.9

      \[\leadsto \left(\left(\left(\left(\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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) + \color{blue}{\left(\left(t \cdot \left(j \cdot \left(y4 \cdot b\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - \left(k \cdot \left(y \cdot \left(y4 \cdot b\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\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)\]

   5. Simplified 25.4

      \[\leadsto \left(\left(\left(\left(\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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) + \color{blue}{\left(t \cdot \left(y4 \cdot \left(b \cdot j\right)\right) + \left(k \cdot \left(i \cdot \left(y5 \cdot y\right)\right) - \left(k \cdot \left(\left(y4 \cdot b\right) \cdot y\right) + t \cdot \left(i \cdot \left(y5 \cdot j\right)\right)\right)\right)\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)\]

   6. Taylor expanded around 0 26.5

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

   7. Simplified 26.8

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

   8. Taylor expanded around inf 29.3

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

   if -6.84393006115929279e-267 < z < 8.2800756016256652e-165

   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. Taylor expanded around 0 26.2

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   3. Simplified 26.2

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   4. Taylor expanded around 0 28.0

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

   5. Simplified 26.4

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

   if 8.2800756016256652e-165 < z < 5.1965091113254861e-111

   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. Taylor expanded around 0 25.9

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   3. Simplified 25.9

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   4. Taylor expanded around 0 25.9

      \[\leadsto \left(\left(\left(\left(\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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) + \color{blue}{\left(\left(t \cdot \left(j \cdot \left(y4 \cdot b\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - \left(k \cdot \left(y \cdot \left(y4 \cdot b\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\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)\]

   5. Simplified 26.5

      \[\leadsto \left(\left(\left(\left(\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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) + \color{blue}{\left(t \cdot \left(y4 \cdot \left(b \cdot j\right)\right) + \left(k \cdot \left(i \cdot \left(y5 \cdot y\right)\right) - \left(k \cdot \left(\left(y4 \cdot b\right) \cdot y\right) + t \cdot \left(i \cdot \left(y5 \cdot j\right)\right)\right)\right)\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)\]

   6. Taylor expanded around 0 26.3

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

   7. Simplified 26.6

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

   8. Taylor expanded around inf 28.3

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

   if 5.1965091113254861e-111 < z < 6773612443337184260

   1. Initial program 24.4

      \[\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. Taylor expanded around 0 26.6

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   3. Simplified 26.6

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   4. Taylor expanded around 0 27.7

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

   5. Simplified 28.0

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

   if 6773612443337184260 < z < 3.68239972793782979e149

   1. Initial program 25.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. Taylor expanded around 0 29.4

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   3. Simplified 29.4

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   4. Taylor expanded around 0 30.6

      \[\leadsto \left(\left(\left(\left(\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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) + \color{blue}{\left(\left(t \cdot \left(j \cdot \left(y4 \cdot b\right)\right) + k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - \left(k \cdot \left(y \cdot \left(y4 \cdot b\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\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)\]

   5. Simplified 30.9

      \[\leadsto \left(\left(\left(\left(\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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) + \color{blue}{\left(t \cdot \left(y4 \cdot \left(b \cdot j\right)\right) + \left(k \cdot \left(i \cdot \left(y5 \cdot y\right)\right) - \left(k \cdot \left(\left(y4 \cdot b\right) \cdot y\right) + t \cdot \left(i \cdot \left(y5 \cdot j\right)\right)\right)\right)\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)\]

   6. Taylor expanded around 0 33.3

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

   7. Simplified 33.2

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

   if 3.68239972793782979e149 < z < 2.80121219173394791e207

   1. Initial program 33.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. Taylor expanded around 0 40.0

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   3. Simplified 40.0

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(a \cdot \left(\left(b \cdot y\right) \cdot x\right) + t \cdot \left(i \cdot \left(c \cdot z\right)\right)\right) - \left(t \cdot \left(a \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\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)\]

   4. Taylor expanded around 0 39.8

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

   if 2.80121219173394791e207 < z

   1. Initial program 36.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. Taylor expanded around 0 36.9

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{-1 \cdot \left(k \cdot \left(z \cdot \left(y0 \cdot b - i \cdot y1\right)\right)\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)\]
3. Recombined 10 regimes into one program.

4. Final simplification 29.4

   \[\leadsto \begin{array}{l} \mathbf{if}\;z \leq -4.787484251914425 \cdot 10^{+90}:\\ \;\;\;\;\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(i \cdot y1 - b \cdot y0\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + \left(\left(j \cdot y5\right) \cdot \left(y0 \cdot y3\right) - \left(\left(y4 \cdot \left(j \cdot \left(y1 \cdot y3\right)\right) + k \cdot \left(y5 \cdot \left(y0 \cdot y2\right)\right)\right) - \left(y2 \cdot y4\right) \cdot \left(k \cdot y1\right)\right)\right)\\ \mathbf{elif}\;z \leq -3.552233240443482 \cdot 10^{-108}:\\ \;\;\;\;\left(\left(\left(\left(\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right) + \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right) + \left(\left(a \cdot \left(z \cdot \left(y1 \cdot y3\right)\right) + y0 \cdot \left(x \cdot \left(c \cdot y2\right)\right)\right) - \left(a \cdot \left(x \cdot \left(y1 \cdot y2\right)\right) + y0 \cdot \left(z \cdot \left(c \cdot y3\right)\right)\right)\right)\right) + \left(t \cdot \left(y4 \cdot \left(b \cdot j\right)\right) + \left(k \cdot \left(i \cdot \left(y \cdot y5\right)\right) - \left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\right)\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\\ \mathbf{elif}\;z \leq -1.3392360610330107 \cdot 10^{-146}:\\ \;\;\;\;\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(i \cdot y1 - b \cdot y0\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + \left(\left(k \cdot \left(y1 \cdot \left(y2 \cdot y4\right)\right) + y0 \cdot \left(y3 \cdot \left(j \cdot y5\right)\right)\right) - \left(y0 \cdot \left(y2 \cdot \left(k \cdot y5\right)\right) + j \cdot \left(y3 \cdot \left(y1 \cdot y4\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq -6.843930061159293 \cdot 10^{-267}:\\ \;\;\;\;k \cdot \left(y2 \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\right) - \left(\left(t \cdot \left(y2 \cdot \left(c \cdot y4\right)\right) + \left(a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right) - \left(y4 \cdot \left(y3 \cdot \left(y \cdot c\right)\right) + y5 \cdot \left(a \cdot \left(t \cdot y2\right)\right)\right)\right)\right) + \left(\left(\left(\left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right) - k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - t \cdot \left(y4 \cdot \left(b \cdot j\right)\right)\right) + \left(\left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 8.280075601625665 \cdot 10^{-165}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) - \left(\left(t \cdot y2 - y \cdot y3\right) \cdot \left(c \cdot y4 - a \cdot y5\right) + \left(\left(t \cdot j - y \cdot k\right) \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(\left(\left(\left(y1 \cdot y2\right) \cdot \left(x \cdot a\right) + y0 \cdot \left(y3 \cdot \left(z \cdot c\right)\right)\right) - \left(y3 \cdot \left(a \cdot \left(z \cdot y1\right)\right) + x \cdot \left(y0 \cdot \left(c \cdot y2\right)\right)\right)\right) + \left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 5.196509111325486 \cdot 10^{-111}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(t \cdot \left(y4 \cdot \left(b \cdot j\right)\right) + \left(k \cdot \left(i \cdot \left(y \cdot y5\right)\right) - \left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\right)\right) + \left(\left(\left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right) + \left(x \cdot j - z \cdot k\right) \cdot \left(i \cdot y1 - b \cdot y0\right)\right) + y0 \cdot \left(c \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\right)\right) + \left(\left(\left(y4 \cdot \left(y3 \cdot \left(y \cdot c\right)\right) + y5 \cdot \left(a \cdot \left(t \cdot y2\right)\right)\right) - a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right)\right) - t \cdot \left(y2 \cdot \left(c \cdot y4\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 6.773612443337184 \cdot 10^{+18}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right) - \left(\left(t \cdot j - y \cdot k\right) \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(\left(\left(a \cdot \left(x \cdot \left(y1 \cdot y2\right)\right) + y0 \cdot \left(y3 \cdot \left(z \cdot c\right)\right)\right) - \left(y0 \cdot \left(x \cdot \left(c \cdot y2\right)\right) + \left(z \cdot y1\right) \cdot \left(a \cdot y3\right)\right)\right) + \left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 3.68239972793783 \cdot 10^{+149}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(y5 \cdot \left(a \cdot \left(t \cdot y2 - y \cdot y3\right)\right) - \left(\left(\left(\left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right) - k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right) - t \cdot \left(y4 \cdot \left(b \cdot j\right)\right)\right) + \left(\left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\right)\\ \mathbf{elif}\;z \leq 2.801212191733948 \cdot 10^{+207}:\\ \;\;\;\;\left(\left(\left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right) - \left(\left(\left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right) - \left(\left(a \cdot \left(x \cdot \left(y \cdot b\right)\right) + t \cdot \left(i \cdot \left(z \cdot c\right)\right)\right) - \left(t \cdot \left(a \cdot \left(z \cdot b\right)\right) + i \cdot \left(x \cdot \left(y \cdot c\right)\right)\right)\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + y0 \cdot \left(y5 \cdot \left(j \cdot y3 - k \cdot y2\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right) + \left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right) + \left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) + k \cdot \left(z \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right)\right) + \left(c \cdot y4 - a \cdot y5\right) \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\ \end{array}\]

Reproduce

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