\[\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 := k \cdot y2 - j \cdot y3\\ t_2 := y1 \cdot y4 - y0 \cdot y5\\ t_3 := a \cdot \left(b \cdot x\right)\\ t_4 := \mathsf{fma}\left(t_1, t_2, y \cdot \left(\left(t_3 + \left(c \cdot \left(y3 \cdot y4\right) + k \cdot \left(y5 \cdot i\right)\right)\right) - \left(c \cdot \left(x \cdot i\right) + \left(k \cdot \left(y4 \cdot b\right) + a \cdot \left(y3 \cdot y5\right)\right)\right)\right)\right)\\ \mathbf{if}\;y \leq -1.7738183189935866 \cdot 10^{+160}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;\begin{array}{l} t_5 := y2 \cdot t - y \cdot y3\\ t_6 := y1 \cdot i - y0 \cdot b\\ t_7 := y5 \cdot a - y4 \cdot c\\ t_8 := y2 \cdot x - y3 \cdot z\\ t_9 := y \cdot x - t \cdot z\\ t_10 := y0 \cdot c - y1 \cdot a\\ t_11 := a \cdot b - c \cdot i\\ t_12 := j \cdot t - y \cdot k\\ t_13 := j \cdot x - k \cdot z\\ t_14 := \mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, \mathsf{fma}\left(t_13, t_6, \mathsf{fma}\left(t_8, t_10, t_12 \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right)\right)\right)\right)\\ \mathbf{if}\;y \leq -1.5812552240079246 \cdot 10^{+41}:\\ \;\;\;\;t_14\\ \mathbf{else}:\\ \;\;\;\;\begin{array}{l} t_15 := a \cdot \left(y3 \cdot z\right)\\ t_16 := a \cdot \left(y2 \cdot x\right)\\ \mathbf{if}\;y \leq -1.7432292235808475 \cdot 10^{-28}:\\ \;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, y1 \cdot \left(\mathsf{fma}\left(i, j \cdot x, t_15\right) - \mathsf{fma}\left(k, i \cdot z, t_16\right)\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\begin{array}{l} t_17 := k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\\ t_18 := y0 \cdot \left(y3 \cdot z\right)\\ t_19 := y0 \cdot \left(b \cdot z\right)\\ t_20 := b \cdot \left(j \cdot x\right)\\ t_21 := y0 \cdot \left(y2 \cdot x\right)\\ t_22 := t \cdot \left(j \cdot y5\right)\\ t_23 := t \cdot \left(j \cdot b\right)\\ t_24 := i \cdot \left(j \cdot x\right)\\ t_25 := y4 \cdot \left(y \cdot b\right)\\ \mathbf{if}\;y \leq -2.4295981975581737 \cdot 10^{-91}:\\ \;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, \mathsf{fma}\left(k, t_19, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(y4, t_23, \mathsf{fma}\left(y1, t_24, \mathsf{fma}\left(y1, t_15, t_17\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, t_18, \mathsf{fma}\left(y1, t_16, \mathsf{fma}\left(y0, t_20, \mathsf{fma}\left(i, t_22, k \cdot \mathsf{fma}\left(i, y1 \cdot z, t_25\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq -4.2628708142154086 \cdot 10^{-141}:\\ \;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, j \cdot \left(\mathsf{fma}\left(y4, b \cdot t, i \cdot \left(y1 \cdot x\right)\right) - \mathsf{fma}\left(y0, b \cdot x, i \cdot \left(y5 \cdot t\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq -7.862356429618503 \cdot 10^{-181}:\\ \;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, i \cdot \left(\mathsf{fma}\left(k, y \cdot y5, y1 \cdot \left(j \cdot x\right)\right) - \mathsf{fma}\left(t, j \cdot y5, k \cdot \left(y1 \cdot z\right)\right)\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\begin{array}{l} t_26 := i \cdot \left(t \cdot z\right)\\ t_27 := y \cdot \left(x \cdot i\right)\\ \mathbf{if}\;y \leq 1.139074364968455 \cdot 10^{-235}:\\ \;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(k, t_19, \mathsf{fma}\left(y4, t_23, \mathsf{fma}\left(y1, t_24, \mathsf{fma}\left(c, t_26, \mathsf{fma}\left(c, y4 \cdot \left(y \cdot y3\right), t_17\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, t_18, \mathsf{fma}\left(y0, t_20, \mathsf{fma}\left(c, t_27, \mathsf{fma}\left(c, y4 \cdot \left(y2 \cdot t\right), \mathsf{fma}\left(i, t_22, k \cdot \left(t_25 + i \cdot \left(y1 \cdot z\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\begin{array}{l} t_28 := y \cdot \left(y3 \cdot y5\right)\\ t_29 := k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\\ t_30 := t \cdot \left(y2 \cdot y5\right)\\ \mathbf{if}\;y \leq 1.2070816234197376 \cdot 10^{-202}:\\ \;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(a, t_30, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(y, t_3, \mathsf{fma}\left(k, t_19, \mathsf{fma}\left(y1, t_24, c \cdot t_26\right)\right)\right)\right)\right) - \mathsf{fma}\left(a, t_28, \mathsf{fma}\left(a, y1 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y0, t_20, \mathsf{fma}\left(c, t_27, \mathsf{fma}\left(a, t \cdot \left(b \cdot z\right), t_29\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq 8.018108753360718 \cdot 10^{-167}:\\ \;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, \mathsf{fma}\left(t_13, t_6, \mathsf{fma}\left(t_8, t_10, y4 \cdot \left(b \cdot t_12\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq 1.3310252148868529 \cdot 10^{-132}:\\ \;\;\;\;\mathsf{fma}\left(a, t_30, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(k, y4 \cdot \left(y2 \cdot y1\right), \mathsf{fma}\left(y1, t_24, \mathsf{fma}\left(y0, y3 \cdot \left(j \cdot y5\right), c \cdot \mathsf{fma}\left(y4, y \cdot y3, t_26\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(a, t_28, \mathsf{fma}\left(y4, \left(j \cdot y3\right) \cdot y1, \mathsf{fma}\left(k, y0 \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(y1, t_16, t_29 + c \cdot \mathsf{fma}\left(y4, y2 \cdot t, t_27\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq 2.666484626827469 \cdot 10^{+151}:\\ \;\;\;\;t_14\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array}\\ \end{array}\\ \end{array}\\ \end{array}\\ \end{array}\\ \end{array} \]

\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 := k \cdot y2 - j \cdot y3\\
t_2 := y1 \cdot y4 - y0 \cdot y5\\
t_3 := a \cdot \left(b \cdot x\right)\\
t_4 := \mathsf{fma}\left(t_1, t_2, y \cdot \left(\left(t_3 + \left(c \cdot \left(y3 \cdot y4\right) + k \cdot \left(y5 \cdot i\right)\right)\right) - \left(c \cdot \left(x \cdot i\right) + \left(k \cdot \left(y4 \cdot b\right) + a \cdot \left(y3 \cdot y5\right)\right)\right)\right)\right)\\
\mathbf{if}\;y \leq -1.7738183189935866 \cdot 10^{+160}:\\
\;\;\;\;t_4\\

\mathbf{else}:\\
\;\;\;\;\begin{array}{l}
t_5 := y2 \cdot t - y \cdot y3\\
t_6 := y1 \cdot i - y0 \cdot b\\
t_7 := y5 \cdot a - y4 \cdot c\\
t_8 := y2 \cdot x - y3 \cdot z\\
t_9 := y \cdot x - t \cdot z\\
t_10 := y0 \cdot c - y1 \cdot a\\
t_11 := a \cdot b - c \cdot i\\
t_12 := j \cdot t - y \cdot k\\
t_13 := j \cdot x - k \cdot z\\
t_14 := \mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, \mathsf{fma}\left(t_13, t_6, \mathsf{fma}\left(t_8, t_10, t_12 \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right)\right)\right)\right)\\
\mathbf{if}\;y \leq -1.5812552240079246 \cdot 10^{+41}:\\
\;\;\;\;t_14\\

\mathbf{else}:\\
\;\;\;\;\begin{array}{l}
t_15 := a \cdot \left(y3 \cdot z\right)\\
t_16 := a \cdot \left(y2 \cdot x\right)\\
\mathbf{if}\;y \leq -1.7432292235808475 \cdot 10^{-28}:\\
\;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, y1 \cdot \left(\mathsf{fma}\left(i, j \cdot x, t_15\right) - \mathsf{fma}\left(k, i \cdot z, t_16\right)\right)\right)\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\begin{array}{l}
t_17 := k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\\
t_18 := y0 \cdot \left(y3 \cdot z\right)\\
t_19 := y0 \cdot \left(b \cdot z\right)\\
t_20 := b \cdot \left(j \cdot x\right)\\
t_21 := y0 \cdot \left(y2 \cdot x\right)\\
t_22 := t \cdot \left(j \cdot y5\right)\\
t_23 := t \cdot \left(j \cdot b\right)\\
t_24 := i \cdot \left(j \cdot x\right)\\
t_25 := y4 \cdot \left(y \cdot b\right)\\
\mathbf{if}\;y \leq -2.4295981975581737 \cdot 10^{-91}:\\
\;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, \mathsf{fma}\left(k, t_19, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(y4, t_23, \mathsf{fma}\left(y1, t_24, \mathsf{fma}\left(y1, t_15, t_17\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, t_18, \mathsf{fma}\left(y1, t_16, \mathsf{fma}\left(y0, t_20, \mathsf{fma}\left(i, t_22, k \cdot \mathsf{fma}\left(i, y1 \cdot z, t_25\right)\right)\right)\right)\right)\right)\right)\right)\\

\mathbf{elif}\;y \leq -4.2628708142154086 \cdot 10^{-141}:\\
\;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, j \cdot \left(\mathsf{fma}\left(y4, b \cdot t, i \cdot \left(y1 \cdot x\right)\right) - \mathsf{fma}\left(y0, b \cdot x, i \cdot \left(y5 \cdot t\right)\right)\right)\right)\right)\right)\\

\mathbf{elif}\;y \leq -7.862356429618503 \cdot 10^{-181}:\\
\;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, i \cdot \left(\mathsf{fma}\left(k, y \cdot y5, y1 \cdot \left(j \cdot x\right)\right) - \mathsf{fma}\left(t, j \cdot y5, k \cdot \left(y1 \cdot z\right)\right)\right)\right)\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\begin{array}{l}
t_26 := i \cdot \left(t \cdot z\right)\\
t_27 := y \cdot \left(x \cdot i\right)\\
\mathbf{if}\;y \leq 1.139074364968455 \cdot 10^{-235}:\\
\;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(k, t_19, \mathsf{fma}\left(y4, t_23, \mathsf{fma}\left(y1, t_24, \mathsf{fma}\left(c, t_26, \mathsf{fma}\left(c, y4 \cdot \left(y \cdot y3\right), t_17\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, t_18, \mathsf{fma}\left(y0, t_20, \mathsf{fma}\left(c, t_27, \mathsf{fma}\left(c, y4 \cdot \left(y2 \cdot t\right), \mathsf{fma}\left(i, t_22, k \cdot \left(t_25 + i \cdot \left(y1 \cdot z\right)\right)\right)\right)\right)\right)\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\begin{array}{l}
t_28 := y \cdot \left(y3 \cdot y5\right)\\
t_29 := k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\\
t_30 := t \cdot \left(y2 \cdot y5\right)\\
\mathbf{if}\;y \leq 1.2070816234197376 \cdot 10^{-202}:\\
\;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(a, t_30, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(y, t_3, \mathsf{fma}\left(k, t_19, \mathsf{fma}\left(y1, t_24, c \cdot t_26\right)\right)\right)\right)\right) - \mathsf{fma}\left(a, t_28, \mathsf{fma}\left(a, y1 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y0, t_20, \mathsf{fma}\left(c, t_27, \mathsf{fma}\left(a, t \cdot \left(b \cdot z\right), t_29\right)\right)\right)\right)\right)\right)\\

\mathbf{elif}\;y \leq 8.018108753360718 \cdot 10^{-167}:\\
\;\;\;\;\mathsf{fma}\left(t_1, t_2, \mathsf{fma}\left(t_5, t_7, \mathsf{fma}\left(t_9, t_11, \mathsf{fma}\left(t_13, t_6, \mathsf{fma}\left(t_8, t_10, y4 \cdot \left(b \cdot t_12\right)\right)\right)\right)\right)\right)\\

\mathbf{elif}\;y \leq 1.3310252148868529 \cdot 10^{-132}:\\
\;\;\;\;\mathsf{fma}\left(a, t_30, \mathsf{fma}\left(c, t_21, \mathsf{fma}\left(k, y4 \cdot \left(y2 \cdot y1\right), \mathsf{fma}\left(y1, t_24, \mathsf{fma}\left(y0, y3 \cdot \left(j \cdot y5\right), c \cdot \mathsf{fma}\left(y4, y \cdot y3, t_26\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(a, t_28, \mathsf{fma}\left(y4, \left(j \cdot y3\right) \cdot y1, \mathsf{fma}\left(k, y0 \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(y1, t_16, t_29 + c \cdot \mathsf{fma}\left(y4, y2 \cdot t, t_27\right)\right)\right)\right)\right)\\

\mathbf{elif}\;y \leq 2.666484626827469 \cdot 10^{+151}:\\
\;\;\;\;t_14\\

\mathbf{else}:\\
\;\;\;\;t_4\\


\end{array}\\


\end{array}\\


\end{array}\\


\end{array}\\


\end{array}\\


\end{array}

(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 (- (* k y2) (* j y3)))
        (t_2 (- (* y1 y4) (* y0 y5)))
        (t_3 (* a (* b x)))
        (t_4
         (fma
          t_1
          t_2
          (*
           y
           (-
            (+ t_3 (+ (* c (* y3 y4)) (* k (* y5 i))))
            (+ (* c (* x i)) (+ (* k (* y4 b)) (* a (* y3 y5)))))))))
   (if (<= y -1.7738183189935866e+160)
     t_4
     (let* ((t_5 (- (* y2 t) (* y y3)))
            (t_6 (- (* y1 i) (* y0 b)))
            (t_7 (- (* y5 a) (* y4 c)))
            (t_8 (- (* y2 x) (* y3 z)))
            (t_9 (- (* y x) (* t z)))
            (t_10 (- (* y0 c) (* y1 a)))
            (t_11 (- (* a b) (* c i)))
            (t_12 (- (* j t) (* y k)))
            (t_13 (- (* j x) (* k z)))
            (t_14
             (fma
              t_1
              t_2
              (fma
               t_5
               t_7
               (fma
                t_9
                t_11
                (fma
                 t_13
                 t_6
                 (fma t_8 t_10 (* t_12 (- (* y4 b) (* y5 i))))))))))
       (if (<= y -1.5812552240079246e+41)
         t_14
         (let* ((t_15 (* a (* y3 z))) (t_16 (* a (* y2 x))))
           (if (<= y -1.7432292235808475e-28)
             (fma
              t_1
              t_2
              (fma
               t_5
               t_7
               (fma
                t_9
                t_11
                (* y1 (- (fma i (* j x) t_15) (fma k (* i z) t_16))))))
             (let* ((t_17 (* k (* i (* y y5))))
                    (t_18 (* y0 (* y3 z)))
                    (t_19 (* y0 (* b z)))
                    (t_20 (* b (* j x)))
                    (t_21 (* y0 (* y2 x)))
                    (t_22 (* t (* j y5)))
                    (t_23 (* t (* j b)))
                    (t_24 (* i (* j x)))
                    (t_25 (* y4 (* y b))))
               (if (<= y -2.4295981975581737e-91)
                 (fma
                  t_1
                  t_2
                  (fma
                   t_5
                   t_7
                   (fma
                    t_9
                    t_11
                    (-
                     (fma
                      k
                      t_19
                      (fma
                       c
                       t_21
                       (fma y4 t_23 (fma y1 t_24 (fma y1 t_15 t_17)))))
                     (fma
                      c
                      t_18
                      (fma
                       y1
                       t_16
                       (fma
                        y0
                        t_20
                        (fma i t_22 (* k (fma i (* y1 z) t_25))))))))))
                 (if (<= y -4.2628708142154086e-141)
                   (fma
                    t_1
                    t_2
                    (fma
                     t_5
                     t_7
                     (fma
                      t_9
                      t_11
                      (*
                       j
                       (-
                        (fma y4 (* b t) (* i (* y1 x)))
                        (fma y0 (* b x) (* i (* y5 t))))))))
                   (if (<= y -7.862356429618503e-181)
                     (fma
                      t_1
                      t_2
                      (fma
                       t_5
                       t_7
                       (fma
                        t_9
                        t_11
                        (*
                         i
                         (-
                          (fma k (* y y5) (* y1 (* j x)))
                          (fma t (* j y5) (* k (* y1 z))))))))
                     (let* ((t_26 (* i (* t z))) (t_27 (* y (* x i))))
                       (if (<= y 1.139074364968455e-235)
                         (fma
                          t_1
                          t_2
                          (-
                           (fma
                            c
                            t_21
                            (fma
                             k
                             t_19
                             (fma
                              y4
                              t_23
                              (fma
                               y1
                               t_24
                               (fma c t_26 (fma c (* y4 (* y y3)) t_17))))))
                           (fma
                            c
                            t_18
                            (fma
                             y0
                             t_20
                             (fma
                              c
                              t_27
                              (fma
                               c
                               (* y4 (* y2 t))
                               (fma i t_22 (* k (+ t_25 (* i (* y1 z)))))))))))
                         (let* ((t_28 (* y (* y3 y5)))
                                (t_29 (* k (* y1 (* i z))))
                                (t_30 (* t (* y2 y5))))
                           (if (<= y 1.2070816234197376e-202)
                             (fma
                              t_1
                              t_2
                              (-
                               (fma
                                a
                                t_30
                                (fma
                                 c
                                 t_21
                                 (fma
                                  y
                                  t_3
                                  (fma k t_19 (fma y1 t_24 (* c t_26))))))
                               (fma
                                a
                                t_28
                                (fma
                                 a
                                 (* y1 (* y2 x))
                                 (fma
                                  y0
                                  t_20
                                  (fma c t_27 (fma a (* t (* b z)) t_29)))))))
                             (if (<= y 8.018108753360718e-167)
                               (fma
                                t_1
                                t_2
                                (fma
                                 t_5
                                 t_7
                                 (fma
                                  t_9
                                  t_11
                                  (fma
                                   t_13
                                   t_6
                                   (fma t_8 t_10 (* y4 (* b t_12)))))))
                               (if (<= y 1.3310252148868529e-132)
                                 (-
                                  (fma
                                   a
                                   t_30
                                   (fma
                                    c
                                    t_21
                                    (fma
                                     k
                                     (* y4 (* y2 y1))
                                     (fma
                                      y1
                                      t_24
                                      (fma
                                       y0
                                       (* y3 (* j y5))
                                       (* c (fma y4 (* y y3) t_26)))))))
                                  (fma
                                   a
                                   t_28
                                   (fma
                                    y4
                                    (* (* j y3) y1)
                                    (fma
                                     k
                                     (* y0 (* y2 y5))
                                     (fma
                                      y1
                                      t_16
                                      (+
                                       t_29
                                       (* c (fma y4 (* y2 t) t_27))))))))
                                 (if (<= y 2.666484626827469e+151)
                                   t_14
                                   t_4))))))))))))))))))

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 = (k * y2) - (j * y3);
	double t_2 = (y1 * y4) - (y0 * y5);
	double t_3 = a * (b * x);
	double t_4 = fma(t_1, t_2, (y * ((t_3 + ((c * (y3 * y4)) + (k * (y5 * i)))) - ((c * (x * i)) + ((k * (y4 * b)) + (a * (y3 * y5)))))));
	double tmp;
	if (y <= -1.7738183189935866e+160) {
		tmp = t_4;
	} else {
		double t_5 = (y2 * t) - (y * y3);
		double t_6 = (y1 * i) - (y0 * b);
		double t_7 = (y5 * a) - (y4 * c);
		double t_8 = (y2 * x) - (y3 * z);
		double t_9 = (y * x) - (t * z);
		double t_10 = (y0 * c) - (y1 * a);
		double t_11 = (a * b) - (c * i);
		double t_12 = (j * t) - (y * k);
		double t_13 = (j * x) - (k * z);
		double t_14 = fma(t_1, t_2, fma(t_5, t_7, fma(t_9, t_11, fma(t_13, t_6, fma(t_8, t_10, (t_12 * ((y4 * b) - (y5 * i))))))));
		double tmp_1;
		if (y <= -1.5812552240079246e+41) {
			tmp_1 = t_14;
		} else {
			double t_15 = a * (y3 * z);
			double t_16 = a * (y2 * x);
			double tmp_2;
			if (y <= -1.7432292235808475e-28) {
				tmp_2 = fma(t_1, t_2, fma(t_5, t_7, fma(t_9, t_11, (y1 * (fma(i, (j * x), t_15) - fma(k, (i * z), t_16))))));
			} else {
				double t_17 = k * (i * (y * y5));
				double t_18 = y0 * (y3 * z);
				double t_19 = y0 * (b * z);
				double t_20 = b * (j * x);
				double t_21 = y0 * (y2 * x);
				double t_22 = t * (j * y5);
				double t_23 = t * (j * b);
				double t_24 = i * (j * x);
				double t_25 = y4 * (y * b);
				double tmp_3;
				if (y <= -2.4295981975581737e-91) {
					tmp_3 = fma(t_1, t_2, fma(t_5, t_7, fma(t_9, t_11, (fma(k, t_19, fma(c, t_21, fma(y4, t_23, fma(y1, t_24, fma(y1, t_15, t_17))))) - fma(c, t_18, fma(y1, t_16, fma(y0, t_20, fma(i, t_22, (k * fma(i, (y1 * z), t_25))))))))));
				} else if (y <= -4.2628708142154086e-141) {
					tmp_3 = fma(t_1, t_2, fma(t_5, t_7, fma(t_9, t_11, (j * (fma(y4, (b * t), (i * (y1 * x))) - fma(y0, (b * x), (i * (y5 * t))))))));
				} else if (y <= -7.862356429618503e-181) {
					tmp_3 = fma(t_1, t_2, fma(t_5, t_7, fma(t_9, t_11, (i * (fma(k, (y * y5), (y1 * (j * x))) - fma(t, (j * y5), (k * (y1 * z))))))));
				} else {
					double t_26 = i * (t * z);
					double t_27 = y * (x * i);
					double tmp_4;
					if (y <= 1.139074364968455e-235) {
						tmp_4 = fma(t_1, t_2, (fma(c, t_21, fma(k, t_19, fma(y4, t_23, fma(y1, t_24, fma(c, t_26, fma(c, (y4 * (y * y3)), t_17)))))) - fma(c, t_18, fma(y0, t_20, fma(c, t_27, fma(c, (y4 * (y2 * t)), fma(i, t_22, (k * (t_25 + (i * (y1 * z)))))))))));
					} else {
						double t_28 = y * (y3 * y5);
						double t_29 = k * (y1 * (i * z));
						double t_30 = t * (y2 * y5);
						double tmp_5;
						if (y <= 1.2070816234197376e-202) {
							tmp_5 = fma(t_1, t_2, (fma(a, t_30, fma(c, t_21, fma(y, t_3, fma(k, t_19, fma(y1, t_24, (c * t_26)))))) - fma(a, t_28, fma(a, (y1 * (y2 * x)), fma(y0, t_20, fma(c, t_27, fma(a, (t * (b * z)), t_29)))))));
						} else if (y <= 8.018108753360718e-167) {
							tmp_5 = fma(t_1, t_2, fma(t_5, t_7, fma(t_9, t_11, fma(t_13, t_6, fma(t_8, t_10, (y4 * (b * t_12)))))));
						} else if (y <= 1.3310252148868529e-132) {
							tmp_5 = fma(a, t_30, fma(c, t_21, fma(k, (y4 * (y2 * y1)), fma(y1, t_24, fma(y0, (y3 * (j * y5)), (c * fma(y4, (y * y3), t_26))))))) - fma(a, t_28, fma(y4, ((j * y3) * y1), fma(k, (y0 * (y2 * y5)), fma(y1, t_16, (t_29 + (c * fma(y4, (y2 * t), t_27)))))));
						} else if (y <= 2.666484626827469e+151) {
							tmp_5 = t_14;
						} else {
							tmp_5 = t_4;
						}
						tmp_4 = tmp_5;
					}
					tmp_3 = tmp_4;
				}
				tmp_2 = tmp_3;
			}
			tmp_1 = tmp_2;
		}
		tmp = tmp_1;
	}
	return tmp;
}

Original	26.8
Target	30.1
Herbie	29.9

Derivation

Split input into 10 regimes
if y < -1.7738183189935866e160 or 2.66648462682746909e151 < y
1. Initial program 32.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. Simplified32.7
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in y around inf 27.6
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\left(\left(a \cdot \left(b \cdot x\right) + \left(c \cdot \left(y4 \cdot y3\right) + k \cdot \left(i \cdot y5\right)\right)\right) - \left(c \cdot \left(i \cdot x\right) + \left(k \cdot \left(y4 \cdot b\right) + a \cdot \left(y3 \cdot y5\right)\right)\right)\right) \cdot y}\right) \]
if -1.7738183189935866e160 < y < -1.5812552240079246e41 or 1.33102521488685285e-132 < y < 2.66648462682746909e151
1. Initial program 25.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. Simplified25.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 y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
if -1.5812552240079246e41 < y < -1.7432292235808475e-28
1. Initial program 22.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. Simplified22.5
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in y1 around inf 35.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{\left(\left(i \cdot \left(j \cdot x\right) + a \cdot \left(y3 \cdot z\right)\right) - \left(k \cdot \left(i \cdot z\right) + a \cdot \left(x \cdot y2\right)\right)\right) \cdot y1}\right)\right)\right) \]
4. Simplified35.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{y1 \cdot \left(\mathsf{fma}\left(i, j \cdot x, a \cdot \left(y3 \cdot z\right)\right) - \mathsf{fma}\left(k, i \cdot z, a \cdot \left(x \cdot y2\right)\right)\right)}\right)\right)\right) \]
if -1.7432292235808475e-28 < y < -2.4295981975581737e-91
1. Initial program 21.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. Simplified21.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 y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in x around inf 27.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{\left(k \cdot \left(y0 \cdot \left(z \cdot b\right)\right) + \left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(y4 \cdot \left(t \cdot \left(j \cdot b\right)\right) + \left(i \cdot \left(y1 \cdot \left(j \cdot x\right)\right) + \left(y1 \cdot \left(a \cdot \left(y3 \cdot z\right)\right) + k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(a \cdot \left(y1 \cdot \left(x \cdot y2\right)\right) + \left(y0 \cdot \left(j \cdot \left(b \cdot x\right)\right) + \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + \left(k \cdot \left(y1 \cdot \left(i \cdot z\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)}\right)\right)\right) \]
4. Simplified24.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{\mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y4, t \cdot \left(b \cdot j\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(y3 \cdot z\right), k \cdot \left(i \cdot \left(y5 \cdot y\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, \left(y3 \cdot z\right) \cdot y0, \mathsf{fma}\left(y1, a \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(i, t \cdot \left(y5 \cdot j\right), k \cdot \mathsf{fma}\left(i, y1 \cdot z, y4 \cdot \left(b \cdot y\right)\right)\right)\right)\right)\right)}\right)\right)\right) \]
if -2.4295981975581737e-91 < y < -4.26287081421540859e-141
1. Initial program 26.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. Simplified26.5
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Applied flip--_binary6431.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 y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \color{blue}{\frac{\left(t \cdot j\right) \cdot \left(t \cdot j\right) - \left(y \cdot k\right) \cdot \left(y \cdot k\right)}{t \cdot j + y \cdot k}} \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right) \]
4. Applied associate-*l/_binary6432.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \color{blue}{\frac{\left(\left(t \cdot j\right) \cdot \left(t \cdot j\right) - \left(y \cdot k\right) \cdot \left(y \cdot k\right)\right) \cdot \left(b \cdot y4 - i \cdot y5\right)}{t \cdot j + y \cdot k}}\right)\right)\right)\right)\right) \]
5. Simplified32.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \frac{\color{blue}{\left(y4 \cdot b - i \cdot y5\right) \cdot \left(\mathsf{fma}\left(t, j, k \cdot y\right) \cdot \left(t \cdot j - k \cdot y\right)\right)}}{t \cdot j + y \cdot k}\right)\right)\right)\right)\right) \]
6. Taylor expanded in j around -inf 36.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{-1 \cdot \left(j \cdot \left(\left(y0 \cdot \left(b \cdot x\right) + i \cdot \left(t \cdot y5\right)\right) - \left(y4 \cdot \left(t \cdot b\right) + y1 \cdot \left(i \cdot x\right)\right)\right)\right)}\right)\right)\right) \]
7. Simplified35.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 y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{-j \cdot \left(\mathsf{fma}\left(y0, b \cdot x, i \cdot \left(t \cdot y5\right)\right) - \mathsf{fma}\left(y4, t \cdot b, i \cdot \left(y1 \cdot x\right)\right)\right)}\right)\right)\right) \]
if -4.26287081421540859e-141 < y < -7.8623564296185034e-181
1. Initial program 25.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. Simplified25.5
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Applied flip--_binary6431.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \color{blue}{\frac{\left(t \cdot j\right) \cdot \left(t \cdot j\right) - \left(y \cdot k\right) \cdot \left(y \cdot k\right)}{t \cdot j + y \cdot k}} \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right) \]
4. Applied associate-*l/_binary6432.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \color{blue}{\frac{\left(\left(t \cdot j\right) \cdot \left(t \cdot j\right) - \left(y \cdot k\right) \cdot \left(y \cdot k\right)\right) \cdot \left(b \cdot y4 - i \cdot y5\right)}{t \cdot j + y \cdot k}}\right)\right)\right)\right)\right) \]
5. Simplified32.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \frac{\color{blue}{\left(y4 \cdot b - i \cdot y5\right) \cdot \left(\mathsf{fma}\left(t, j, k \cdot y\right) \cdot \left(t \cdot j - k \cdot y\right)\right)}}{t \cdot j + y \cdot k}\right)\right)\right)\right)\right) \]
6. Taylor expanded in i around inf 36.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{i \cdot \left(\left(k \cdot \left(y \cdot y5\right) + y1 \cdot \left(j \cdot x\right)\right) - \left(t \cdot \left(j \cdot y5\right) + k \cdot \left(y1 \cdot z\right)\right)\right)}\right)\right)\right) \]
7. Simplified36.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{i \cdot \left(\mathsf{fma}\left(k, y \cdot y5, y1 \cdot \left(j \cdot x\right)\right) - \mathsf{fma}\left(t, j \cdot y5, k \cdot \left(y1 \cdot z\right)\right)\right)}\right)\right)\right) \]
if -7.8623564296185034e-181 < y < 1.13907436496845504e-235
1. Initial program 28.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. Simplified28.5
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in a around 0 34.4
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(k \cdot \left(y0 \cdot \left(b \cdot z\right)\right) + \left(y4 \cdot \left(t \cdot \left(b \cdot j\right)\right) + \left(y1 \cdot \left(i \cdot \left(j \cdot x\right)\right) + \left(c \cdot \left(i \cdot \left(t \cdot z\right)\right) + \left(c \cdot \left(y4 \cdot \left(y \cdot y3\right)\right) + k \cdot \left(y \cdot \left(i \cdot y5\right)\right)\right)\right)\right)\right)\right)\right) - \left(c \cdot \left(y0 \cdot \left(y3 \cdot z\right)\right) + \left(y0 \cdot \left(b \cdot \left(j \cdot x\right)\right) + \left(c \cdot \left(y \cdot \left(i \cdot x\right)\right) + \left(c \cdot \left(y4 \cdot \left(t \cdot y2\right)\right) + \left(i \cdot \left(t \cdot \left(j \cdot y5\right)\right) + \left(k \cdot \left(y4 \cdot \left(y \cdot b\right)\right) + k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\right)\right)\right)\right)\right)\right)}\right) \]
4. Simplified33.3
  \[\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\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(y4, t \cdot \left(b \cdot j\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(t \cdot z\right), \mathsf{fma}\left(c, y4 \cdot \left(y \cdot y3\right), k \cdot \left(i \cdot \left(y5 \cdot y\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, \left(y3 \cdot z\right) \cdot y0, \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, y \cdot \left(i \cdot x\right), \mathsf{fma}\left(c, y4 \cdot \left(t \cdot y2\right), \mathsf{fma}\left(i, t \cdot \left(y5 \cdot j\right), k \cdot \left(y4 \cdot \left(b \cdot y\right) + i \cdot \left(y1 \cdot z\right)\right)\right)\right)\right)\right)\right)}\right) \]
if 1.13907436496845504e-235 < y < 1.20708162341973756e-202
1. Initial program 25.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. Simplified25.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 y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in y2 around inf 34.0
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \color{blue}{\left(c \cdot \left(y0 \cdot x\right) - a \cdot \left(y1 \cdot x\right)\right) \cdot y2}\right)\right)\right)\right) \]
4. Taylor expanded in y4 around 0 32.8
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\left(a \cdot \left(t \cdot \left(y5 \cdot y2\right)\right) + \left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + \left(y \cdot \left(a \cdot \left(b \cdot x\right)\right) + \left(k \cdot \left(y0 \cdot \left(b \cdot z\right)\right) + \left(y1 \cdot \left(i \cdot \left(j \cdot x\right)\right) + c \cdot \left(i \cdot \left(t \cdot z\right)\right)\right)\right)\right)\right)\right) - \left(a \cdot \left(y \cdot \left(y3 \cdot y5\right)\right) + \left(a \cdot \left(y1 \cdot \left(y2 \cdot x\right)\right) + \left(y0 \cdot \left(b \cdot \left(j \cdot x\right)\right) + \left(c \cdot \left(y \cdot \left(i \cdot x\right)\right) + \left(a \cdot \left(t \cdot \left(z \cdot b\right)\right) + k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\right)\right)\right)\right)\right)}\right) \]
5. Simplified32.8
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{\mathsf{fma}\left(a, t \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), c \cdot \left(i \cdot \left(z \cdot t\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(a, y \cdot \left(y3 \cdot y5\right), \mathsf{fma}\left(a, y1 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, \left(i \cdot x\right) \cdot y, \mathsf{fma}\left(a, \left(b \cdot z\right) \cdot t, k \cdot \left(y1 \cdot \left(z \cdot i\right)\right)\right)\right)\right)\right)\right)}\right) \]
if 1.20708162341973756e-202 < y < 8.01810875336071794e-167
1. Initial program 26.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. Simplified26.0
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in b around inf 27.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 y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \color{blue}{y4 \cdot \left(\left(t \cdot j - k \cdot y\right) \cdot b\right)}\right)\right)\right)\right)\right) \]
if 8.01810875336071794e-167 < y < 1.33102521488685285e-132
1. Initial program 26.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. Simplified26.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 y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in y2 around inf 36.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \color{blue}{\left(c \cdot \left(y0 \cdot x\right) - a \cdot \left(y1 \cdot x\right)\right) \cdot y2}\right)\right)\right)\right) \]
4. Taylor expanded in b around 0 42.1
  \[\leadsto \color{blue}{\left(a \cdot \left(t \cdot \left(y5 \cdot y2\right)\right) + \left(c \cdot \left(y0 \cdot \left(y2 \cdot x\right)\right) + \left(k \cdot \left(y4 \cdot \left(y1 \cdot y2\right)\right) + \left(y1 \cdot \left(i \cdot \left(j \cdot x\right)\right) + \left(y0 \cdot \left(y3 \cdot \left(j \cdot y5\right)\right) + \left(c \cdot \left(y4 \cdot \left(y \cdot y3\right)\right) + c \cdot \left(i \cdot \left(t \cdot z\right)\right)\right)\right)\right)\right)\right)\right) - \left(a \cdot \left(y \cdot \left(y3 \cdot y5\right)\right) + \left(y4 \cdot \left(y1 \cdot \left(y3 \cdot j\right)\right) + \left(k \cdot \left(y0 \cdot \left(y5 \cdot y2\right)\right) + \left(y1 \cdot \left(a \cdot \left(x \cdot y2\right)\right) + \left(c \cdot \left(y \cdot \left(i \cdot x\right)\right) + \left(c \cdot \left(y4 \cdot \left(t \cdot y2\right)\right) + k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\right)\right)\right)\right)\right)\right)} \]
5. Simplified42.1
  \[\leadsto \color{blue}{\mathsf{fma}\left(a, t \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(c, y0 \cdot \left(x \cdot y2\right), \mathsf{fma}\left(k, \left(y1 \cdot y2\right) \cdot y4, \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(y0, y3 \cdot \left(j \cdot y5\right), c \cdot \mathsf{fma}\left(y4, y \cdot y3, i \cdot \left(z \cdot t\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(a, y \cdot \left(y3 \cdot y5\right), \mathsf{fma}\left(y4, y1 \cdot \left(j \cdot y3\right), \mathsf{fma}\left(k, y0 \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(y1, \left(x \cdot y2\right) \cdot a, c \cdot \mathsf{fma}\left(y4, y2 \cdot t, \left(i \cdot x\right) \cdot y\right) + k \cdot \left(y1 \cdot \left(z \cdot i\right)\right)\right)\right)\right)\right)} \]
Recombined 10 regimes into one program.
Final simplification29.9
\[\leadsto \begin{array}{l} \mathbf{if}\;y \leq -1.7738183189935866 \cdot 10^{+160}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, y \cdot \left(\left(a \cdot \left(b \cdot x\right) + \left(c \cdot \left(y3 \cdot y4\right) + k \cdot \left(y5 \cdot i\right)\right)\right) - \left(c \cdot \left(x \cdot i\right) + \left(k \cdot \left(y4 \cdot b\right) + a \cdot \left(y3 \cdot y5\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq -1.5812552240079246 \cdot 10^{+41}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, a \cdot b - c \cdot i, \mathsf{fma}\left(j \cdot x - k \cdot z, y1 \cdot i - y0 \cdot b, \mathsf{fma}\left(y2 \cdot x - y3 \cdot z, y0 \cdot c - y1 \cdot a, \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq -1.7432292235808475 \cdot 10^{-28}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, a \cdot b - c \cdot i, y1 \cdot \left(\mathsf{fma}\left(i, j \cdot x, a \cdot \left(y3 \cdot z\right)\right) - \mathsf{fma}\left(k, i \cdot z, a \cdot \left(y2 \cdot x\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq -2.4295981975581737 \cdot 10^{-91}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, a \cdot b - c \cdot i, \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(y1, a \cdot \left(y3 \cdot z\right), k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(y1, a \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \mathsf{fma}\left(i, y1 \cdot z, y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq -4.2628708142154086 \cdot 10^{-141}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, a \cdot b - c \cdot i, j \cdot \left(\mathsf{fma}\left(y4, b \cdot t, i \cdot \left(y1 \cdot x\right)\right) - \mathsf{fma}\left(y0, b \cdot x, i \cdot \left(y5 \cdot t\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq -7.862356429618503 \cdot 10^{-181}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, a \cdot b - c \cdot i, i \cdot \left(\mathsf{fma}\left(k, y \cdot y5, y1 \cdot \left(j \cdot x\right)\right) - \mathsf{fma}\left(t, j \cdot y5, k \cdot \left(y1 \cdot z\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq 1.139074364968455 \cdot 10^{-235}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(y4, t \cdot \left(j \cdot b\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, i \cdot \left(t \cdot z\right), \mathsf{fma}\left(c, y4 \cdot \left(y \cdot y3\right), k \cdot \left(i \cdot \left(y \cdot y5\right)\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(c, y0 \cdot \left(y3 \cdot z\right), \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, y \cdot \left(x \cdot i\right), \mathsf{fma}\left(c, y4 \cdot \left(y2 \cdot t\right), \mathsf{fma}\left(i, t \cdot \left(j \cdot y5\right), k \cdot \left(y4 \cdot \left(y \cdot b\right) + i \cdot \left(y1 \cdot z\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq 1.2070816234197376 \cdot 10^{-202}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(a, t \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y, a \cdot \left(b \cdot x\right), \mathsf{fma}\left(k, y0 \cdot \left(b \cdot z\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), c \cdot \left(i \cdot \left(t \cdot z\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(a, y \cdot \left(y3 \cdot y5\right), \mathsf{fma}\left(a, y1 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(y0, b \cdot \left(j \cdot x\right), \mathsf{fma}\left(c, y \cdot \left(x \cdot i\right), \mathsf{fma}\left(a, t \cdot \left(b \cdot z\right), k \cdot \left(y1 \cdot \left(i \cdot z\right)\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq 8.018108753360718 \cdot 10^{-167}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, a \cdot b - c \cdot i, \mathsf{fma}\left(j \cdot x - k \cdot z, y1 \cdot i - y0 \cdot b, \mathsf{fma}\left(y2 \cdot x - y3 \cdot z, y0 \cdot c - y1 \cdot a, y4 \cdot \left(b \cdot \left(j \cdot t - y \cdot k\right)\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq 1.3310252148868529 \cdot 10^{-132}:\\ \;\;\;\;\mathsf{fma}\left(a, t \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(c, y0 \cdot \left(y2 \cdot x\right), \mathsf{fma}\left(k, y4 \cdot \left(y2 \cdot y1\right), \mathsf{fma}\left(y1, i \cdot \left(j \cdot x\right), \mathsf{fma}\left(y0, y3 \cdot \left(j \cdot y5\right), c \cdot \mathsf{fma}\left(y4, y \cdot y3, i \cdot \left(t \cdot z\right)\right)\right)\right)\right)\right)\right) - \mathsf{fma}\left(a, y \cdot \left(y3 \cdot y5\right), \mathsf{fma}\left(y4, \left(j \cdot y3\right) \cdot y1, \mathsf{fma}\left(k, y0 \cdot \left(y2 \cdot y5\right), \mathsf{fma}\left(y1, a \cdot \left(y2 \cdot x\right), k \cdot \left(y1 \cdot \left(i \cdot z\right)\right) + c \cdot \mathsf{fma}\left(y4, y2 \cdot t, y \cdot \left(x \cdot i\right)\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y \leq 2.666484626827469 \cdot 10^{+151}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(y2 \cdot t - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, a \cdot b - c \cdot i, \mathsf{fma}\left(j \cdot x - k \cdot z, y1 \cdot i - y0 \cdot b, \mathsf{fma}\left(y2 \cdot x - y3 \cdot z, y0 \cdot c - y1 \cdot a, \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, y \cdot \left(\left(a \cdot \left(b \cdot x\right) + \left(c \cdot \left(y3 \cdot y4\right) + k \cdot \left(y5 \cdot i\right)\right)\right) - \left(c \cdot \left(x \cdot i\right) + \left(k \cdot \left(y4 \cdot b\right) + a \cdot \left(y3 \cdot y5\right)\right)\right)\right)\right)\\ \end{array} \]

Error

Target

Derivation

`if y < -1.7738183189935866e160 or 2.66648462682746909e151 < y`

`if -1.7738183189935866e160 < y < -1.5812552240079246e41 or 1.33102521488685285e-132 < y < 2.66648462682746909e151`

`if -1.5812552240079246e41 < y < -1.7432292235808475e-28`

`if -1.7432292235808475e-28 < y < -2.4295981975581737e-91`

`if -2.4295981975581737e-91 < y < -4.26287081421540859e-141`

`if -4.26287081421540859e-141 < y < -7.8623564296185034e-181`

`if -7.8623564296185034e-181 < y < 1.13907436496845504e-235`

`if 1.13907436496845504e-235 < y < 1.20708162341973756e-202`

`if 1.20708162341973756e-202 < y < 8.01810875336071794e-167`

`if 8.01810875336071794e-167 < y < 1.33102521488685285e-132`

Reproduce