\[\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 \left(y4 \cdot y\right)\\ \mathbf{if}\;y4 \leq -1.0565292706596829 \cdot 10^{+213}:\\ \;\;\;\;b \cdot \left(y4 \cdot \left(t \cdot j\right) - t_1\right)\\ \mathbf{elif}\;y4 \leq -1.1704082746557775 \cdot 10^{+124}:\\ \;\;\;\;t \cdot \left(y4 \cdot \left(b \cdot j\right) - c \cdot \left(y4 \cdot y2\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\begin{array}{l} t_2 := y4 \cdot y1 - y0 \cdot y5\\ t_3 := k \cdot y2 - j \cdot y3\\ \mathbf{if}\;y4 \leq -1.3634844163671813 \cdot 10^{+67}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, x \cdot \left(\mathsf{fma}\left(a, b \cdot y, c \cdot \left(y2 \cdot y0\right)\right) - \mathsf{fma}\left(c, y \cdot i, \left(b \cdot j\right) \cdot y0\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -5.916673269139028 \cdot 10^{+28}:\\ \;\;\;\;j \cdot \left(\mathsf{fma}\left(y0, y3 \cdot y5, \mathsf{fma}\left(y4, b \cdot t, y1 \cdot \left(i \cdot x\right)\right)\right) - \mathsf{fma}\left(y0, b \cdot x, \mathsf{fma}\left(y4, y3 \cdot y1, i \cdot \left(t \cdot y5\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -4.3571350137608013 \cdot 10^{-29}:\\ \;\;\;\;y0 \cdot \left(\mathsf{fma}\left(k, b \cdot z, \mathsf{fma}\left(c, y2 \cdot x, y3 \cdot \left(j \cdot y5\right)\right)\right) - \mathsf{fma}\left(k, y2 \cdot y5, \mathsf{fma}\left(c, y3 \cdot z, j \cdot \left(b \cdot x\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -3.2947111268727517 \cdot 10^{-47}:\\ \;\;\;\;\left(c \cdot \left(y0 \cdot \left(y2 \cdot x\right)\right) + k \cdot \left(y4 \cdot \left(y2 \cdot y1\right)\right)\right) - \left(k \cdot \left(y0 \cdot \left(y2 \cdot y5\right)\right) + c \cdot \left(i \cdot \left(y \cdot x\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\begin{array}{l} t_4 := y \cdot x - t \cdot z\\ t_5 := b \cdot a - c \cdot i\\ t_6 := t \cdot y2 - y \cdot y3\\ t_7 := y5 \cdot a - y4 \cdot c\\ \mathbf{if}\;y4 \leq -4.916526572195435 \cdot 10^{-181}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, \mathsf{fma}\left(t_6, t_7, \mathsf{fma}\left(t_4, t_5, a \cdot \left(y1 \cdot \left(y3 \cdot z\right) - y1 \cdot \left(y2 \cdot x\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -5.874102451921291 \cdot 10^{-238}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, y3 \cdot \left(\mathsf{fma}\left(c, y4 \cdot y, y1 \cdot \left(a \cdot z\right)\right) - \mathsf{fma}\left(c, y0 \cdot z, y \cdot \left(y5 \cdot a\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -1.655239403815775 \cdot 10^{-249}:\\ \;\;\;\;y \cdot \left(\mathsf{fma}\left(a, b \cdot x, \mathsf{fma}\left(c, y4 \cdot y3, k \cdot \left(y5 \cdot i\right)\right)\right) - \mathsf{fma}\left(k, y4 \cdot b, \mathsf{fma}\left(c, i \cdot x, a \cdot \left(y3 \cdot y5\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -6.969936796881791 \cdot 10^{-290}:\\ \;\;\;\;y \cdot \left(x \cdot t_5\right)\\ \mathbf{elif}\;y4 \leq 5.054391497702296 \cdot 10^{-300}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, y4 \cdot \left(y \cdot \left(c \cdot y3 - b \cdot k\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 3.2494084172250747 \cdot 10^{-236}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, \mathsf{fma}\left(t_6, t_7, \mathsf{fma}\left(t_4, t_5, 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{else}:\\ \;\;\;\;\begin{array}{l} t_8 := y \cdot y3 - t \cdot y2\\ \mathbf{if}\;y4 \leq 2.8827497107938707 \cdot 10^{-204}:\\ \;\;\;\;c \cdot \left(y4 \cdot t_8\right)\\ \mathbf{elif}\;y4 \leq 2.5696845278564366 \cdot 10^{-186}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, b \cdot \left(\mathsf{fma}\left(y4, t \cdot j, \mathsf{fma}\left(k, y0 \cdot z, a \cdot \left(y \cdot x\right)\right)\right) - \mathsf{fma}\left(y0, j \cdot x, \mathsf{fma}\left(a, t \cdot z, t_1\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 2.5223332782041714 \cdot 10^{-124}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, x \cdot \left(a \cdot \left(b \cdot y - y2 \cdot y1\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\begin{array}{l} t_9 := y \cdot \left(i \cdot x\right)\\ \mathbf{if}\;y4 \leq 5.050444181584658 \cdot 10^{-87}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, \mathsf{fma}\left(t_6, t_7, c \cdot \left(\mathsf{fma}\left(y0, y2 \cdot x, i \cdot \left(t \cdot z\right)\right) - \mathsf{fma}\left(y0, y3 \cdot z, t_9\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 1.2981810238745263 \cdot 10^{+22}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, \left(-c\right) \cdot t_9\right)\\ \mathbf{elif}\;y4 \leq 1.687310135218241 \cdot 10^{+116}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, y2 \cdot \left(\mathsf{fma}\left(c, y0 \cdot x, a \cdot \left(t \cdot y5\right)\right) - \mathsf{fma}\left(c, y4 \cdot t, y1 \cdot \left(a \cdot x\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 5.168162862352319 \cdot 10^{+225}:\\ \;\;\;\;\log \left(e^{\mathsf{fma}\left(t_3, t_2, c \cdot \left(x \cdot \left(y2 \cdot y0 - y \cdot i\right)\right)\right)}\right)\\ \mathbf{else}:\\ \;\;\;\;\mathsf{fma}\left(t_3, t_2, y4 \cdot \left(c \cdot t_8\right)\right)\\ \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 \left(y4 \cdot y\right)\\
\mathbf{if}\;y4 \leq -1.0565292706596829 \cdot 10^{+213}:\\
\;\;\;\;b \cdot \left(y4 \cdot \left(t \cdot j\right) - t_1\right)\\

\mathbf{elif}\;y4 \leq -1.1704082746557775 \cdot 10^{+124}:\\
\;\;\;\;t \cdot \left(y4 \cdot \left(b \cdot j\right) - c \cdot \left(y4 \cdot y2\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\begin{array}{l}
t_2 := y4 \cdot y1 - y0 \cdot y5\\
t_3 := k \cdot y2 - j \cdot y3\\
\mathbf{if}\;y4 \leq -1.3634844163671813 \cdot 10^{+67}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, x \cdot \left(\mathsf{fma}\left(a, b \cdot y, c \cdot \left(y2 \cdot y0\right)\right) - \mathsf{fma}\left(c, y \cdot i, \left(b \cdot j\right) \cdot y0\right)\right)\right)\\

\mathbf{elif}\;y4 \leq -5.916673269139028 \cdot 10^{+28}:\\
\;\;\;\;j \cdot \left(\mathsf{fma}\left(y0, y3 \cdot y5, \mathsf{fma}\left(y4, b \cdot t, y1 \cdot \left(i \cdot x\right)\right)\right) - \mathsf{fma}\left(y0, b \cdot x, \mathsf{fma}\left(y4, y3 \cdot y1, i \cdot \left(t \cdot y5\right)\right)\right)\right)\\

\mathbf{elif}\;y4 \leq -4.3571350137608013 \cdot 10^{-29}:\\
\;\;\;\;y0 \cdot \left(\mathsf{fma}\left(k, b \cdot z, \mathsf{fma}\left(c, y2 \cdot x, y3 \cdot \left(j \cdot y5\right)\right)\right) - \mathsf{fma}\left(k, y2 \cdot y5, \mathsf{fma}\left(c, y3 \cdot z, j \cdot \left(b \cdot x\right)\right)\right)\right)\\

\mathbf{elif}\;y4 \leq -3.2947111268727517 \cdot 10^{-47}:\\
\;\;\;\;\left(c \cdot \left(y0 \cdot \left(y2 \cdot x\right)\right) + k \cdot \left(y4 \cdot \left(y2 \cdot y1\right)\right)\right) - \left(k \cdot \left(y0 \cdot \left(y2 \cdot y5\right)\right) + c \cdot \left(i \cdot \left(y \cdot x\right)\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\begin{array}{l}
t_4 := y \cdot x - t \cdot z\\
t_5 := b \cdot a - c \cdot i\\
t_6 := t \cdot y2 - y \cdot y3\\
t_7 := y5 \cdot a - y4 \cdot c\\
\mathbf{if}\;y4 \leq -4.916526572195435 \cdot 10^{-181}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, \mathsf{fma}\left(t_6, t_7, \mathsf{fma}\left(t_4, t_5, a \cdot \left(y1 \cdot \left(y3 \cdot z\right) - y1 \cdot \left(y2 \cdot x\right)\right)\right)\right)\right)\\

\mathbf{elif}\;y4 \leq -5.874102451921291 \cdot 10^{-238}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, y3 \cdot \left(\mathsf{fma}\left(c, y4 \cdot y, y1 \cdot \left(a \cdot z\right)\right) - \mathsf{fma}\left(c, y0 \cdot z, y \cdot \left(y5 \cdot a\right)\right)\right)\right)\\

\mathbf{elif}\;y4 \leq -1.655239403815775 \cdot 10^{-249}:\\
\;\;\;\;y \cdot \left(\mathsf{fma}\left(a, b \cdot x, \mathsf{fma}\left(c, y4 \cdot y3, k \cdot \left(y5 \cdot i\right)\right)\right) - \mathsf{fma}\left(k, y4 \cdot b, \mathsf{fma}\left(c, i \cdot x, a \cdot \left(y3 \cdot y5\right)\right)\right)\right)\\

\mathbf{elif}\;y4 \leq -6.969936796881791 \cdot 10^{-290}:\\
\;\;\;\;y \cdot \left(x \cdot t_5\right)\\

\mathbf{elif}\;y4 \leq 5.054391497702296 \cdot 10^{-300}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, y4 \cdot \left(y \cdot \left(c \cdot y3 - b \cdot k\right)\right)\right)\\

\mathbf{elif}\;y4 \leq 3.2494084172250747 \cdot 10^{-236}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, \mathsf{fma}\left(t_6, t_7, \mathsf{fma}\left(t_4, t_5, 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{else}:\\
\;\;\;\;\begin{array}{l}
t_8 := y \cdot y3 - t \cdot y2\\
\mathbf{if}\;y4 \leq 2.8827497107938707 \cdot 10^{-204}:\\
\;\;\;\;c \cdot \left(y4 \cdot t_8\right)\\

\mathbf{elif}\;y4 \leq 2.5696845278564366 \cdot 10^{-186}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, b \cdot \left(\mathsf{fma}\left(y4, t \cdot j, \mathsf{fma}\left(k, y0 \cdot z, a \cdot \left(y \cdot x\right)\right)\right) - \mathsf{fma}\left(y0, j \cdot x, \mathsf{fma}\left(a, t \cdot z, t_1\right)\right)\right)\right)\\

\mathbf{elif}\;y4 \leq 2.5223332782041714 \cdot 10^{-124}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, x \cdot \left(a \cdot \left(b \cdot y - y2 \cdot y1\right)\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\begin{array}{l}
t_9 := y \cdot \left(i \cdot x\right)\\
\mathbf{if}\;y4 \leq 5.050444181584658 \cdot 10^{-87}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, \mathsf{fma}\left(t_6, t_7, c \cdot \left(\mathsf{fma}\left(y0, y2 \cdot x, i \cdot \left(t \cdot z\right)\right) - \mathsf{fma}\left(y0, y3 \cdot z, t_9\right)\right)\right)\right)\\

\mathbf{elif}\;y4 \leq 1.2981810238745263 \cdot 10^{+22}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, \left(-c\right) \cdot t_9\right)\\

\mathbf{elif}\;y4 \leq 1.687310135218241 \cdot 10^{+116}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, y2 \cdot \left(\mathsf{fma}\left(c, y0 \cdot x, a \cdot \left(t \cdot y5\right)\right) - \mathsf{fma}\left(c, y4 \cdot t, y1 \cdot \left(a \cdot x\right)\right)\right)\right)\\

\mathbf{elif}\;y4 \leq 5.168162862352319 \cdot 10^{+225}:\\
\;\;\;\;\log \left(e^{\mathsf{fma}\left(t_3, t_2, c \cdot \left(x \cdot \left(y2 \cdot y0 - y \cdot i\right)\right)\right)}\right)\\

\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(t_3, t_2, y4 \cdot \left(c \cdot t_8\right)\right)\\


\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 (* y4 y))))
   (if (<= y4 -1.0565292706596829e+213)
     (* b (- (* y4 (* t j)) t_1))
     (if (<= y4 -1.1704082746557775e+124)
       (* t (- (* y4 (* b j)) (* c (* y4 y2))))
       (let* ((t_2 (- (* y4 y1) (* y0 y5))) (t_3 (- (* k y2) (* j y3))))
         (if (<= y4 -1.3634844163671813e+67)
           (fma
            t_3
            t_2
            (*
             x
             (-
              (fma a (* b y) (* c (* y2 y0)))
              (fma c (* y i) (* (* b j) y0)))))
           (if (<= y4 -5.916673269139028e+28)
             (*
              j
              (-
               (fma y0 (* y3 y5) (fma y4 (* b t) (* y1 (* i x))))
               (fma y0 (* b x) (fma y4 (* y3 y1) (* i (* t y5))))))
             (if (<= y4 -4.3571350137608013e-29)
               (*
                y0
                (-
                 (fma k (* b z) (fma c (* y2 x) (* y3 (* j y5))))
                 (fma k (* y2 y5) (fma c (* y3 z) (* j (* b x))))))
               (if (<= y4 -3.2947111268727517e-47)
                 (-
                  (+ (* c (* y0 (* y2 x))) (* k (* y4 (* y2 y1))))
                  (+ (* k (* y0 (* y2 y5))) (* c (* i (* y x)))))
                 (let* ((t_4 (- (* y x) (* t z)))
                        (t_5 (- (* b a) (* c i)))
                        (t_6 (- (* t y2) (* y y3)))
                        (t_7 (- (* y5 a) (* y4 c))))
                   (if (<= y4 -4.916526572195435e-181)
                     (fma
                      t_3
                      t_2
                      (fma
                       t_6
                       t_7
                       (fma
                        t_4
                        t_5
                        (* a (- (* y1 (* y3 z)) (* y1 (* y2 x)))))))
                     (if (<= y4 -5.874102451921291e-238)
                       (fma
                        t_3
                        t_2
                        (*
                         y3
                         (-
                          (fma c (* y4 y) (* y1 (* a z)))
                          (fma c (* y0 z) (* y (* y5 a))))))
                       (if (<= y4 -1.655239403815775e-249)
                         (*
                          y
                          (-
                           (fma a (* b x) (fma c (* y4 y3) (* k (* y5 i))))
                           (fma k (* y4 b) (fma c (* i x) (* a (* y3 y5))))))
                         (if (<= y4 -6.969936796881791e-290)
                           (* y (* x t_5))
                           (if (<= y4 5.054391497702296e-300)
                             (fma t_3 t_2 (* y4 (* y (- (* c y3) (* b k)))))
                             (if (<= y4 3.2494084172250747e-236)
                               (fma
                                t_3
                                t_2
                                (fma
                                 t_6
                                 t_7
                                 (fma
                                  t_4
                                  t_5
                                  (*
                                   y1
                                   (-
                                    (fma i (* j x) (* a (* y3 z)))
                                    (fma k (* i z) (* a (* y2 x))))))))
                               (let* ((t_8 (- (* y y3) (* t y2))))
                                 (if (<= y4 2.8827497107938707e-204)
                                   (* c (* y4 t_8))
                                   (if (<= y4 2.5696845278564366e-186)
                                     (fma
                                      t_3
                                      t_2
                                      (*
                                       b
                                       (-
                                        (fma
                                         y4
                                         (* t j)
                                         (fma k (* y0 z) (* a (* y x))))
                                        (fma y0 (* j x) (fma a (* t z) t_1)))))
                                     (if (<= y4 2.5223332782041714e-124)
                                       (fma
                                        t_3
                                        t_2
                                        (* x (* a (- (* b y) (* y2 y1)))))
                                       (let* ((t_9 (* y (* i x))))
                                         (if (<= y4 5.050444181584658e-87)
                                           (fma
                                            t_3
                                            t_2
                                            (fma
                                             t_6
                                             t_7
                                             (*
                                              c
                                              (-
                                               (fma y0 (* y2 x) (* i (* t z)))
                                               (fma y0 (* y3 z) t_9)))))
                                           (if (<= y4 1.2981810238745263e+22)
                                             (fma t_3 t_2 (* (- c) t_9))
                                             (if (<= y4 1.687310135218241e+116)
                                               (fma
                                                t_3
                                                t_2
                                                (*
                                                 y2
                                                 (-
                                                  (fma
                                                   c
                                                   (* y0 x)
                                                   (* a (* t y5)))
                                                  (fma
                                                   c
                                                   (* y4 t)
                                                   (* y1 (* a x))))))
                                               (if (<=
                                                    y4
                                                    5.168162862352319e+225)
                                                 (log
                                                  (exp
                                                   (fma
                                                    t_3
                                                    t_2
                                                    (*
                                                     c
                                                     (*
                                                      x
                                                      (-
                                                       (* y2 y0)
                                                       (* y i)))))))
                                                 (fma
                                                  t_3
                                                  t_2
                                                  (*
                                                   y4
                                                   (*
                                                    c
                                                    t_8))))))))))))))))))))))))))))

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 * (y4 * y);
	double tmp;
	if (y4 <= -1.0565292706596829e+213) {
		tmp = b * ((y4 * (t * j)) - t_1);
	} else if (y4 <= -1.1704082746557775e+124) {
		tmp = t * ((y4 * (b * j)) - (c * (y4 * y2)));
	} else {
		double t_2 = (y4 * y1) - (y0 * y5);
		double t_3 = (k * y2) - (j * y3);
		double tmp_1;
		if (y4 <= -1.3634844163671813e+67) {
			tmp_1 = fma(t_3, t_2, (x * (fma(a, (b * y), (c * (y2 * y0))) - fma(c, (y * i), ((b * j) * y0)))));
		} else if (y4 <= -5.916673269139028e+28) {
			tmp_1 = j * (fma(y0, (y3 * y5), fma(y4, (b * t), (y1 * (i * x)))) - fma(y0, (b * x), fma(y4, (y3 * y1), (i * (t * y5)))));
		} else if (y4 <= -4.3571350137608013e-29) {
			tmp_1 = y0 * (fma(k, (b * z), fma(c, (y2 * x), (y3 * (j * y5)))) - fma(k, (y2 * y5), fma(c, (y3 * z), (j * (b * x)))));
		} else if (y4 <= -3.2947111268727517e-47) {
			tmp_1 = ((c * (y0 * (y2 * x))) + (k * (y4 * (y2 * y1)))) - ((k * (y0 * (y2 * y5))) + (c * (i * (y * x))));
		} else {
			double t_4 = (y * x) - (t * z);
			double t_5 = (b * a) - (c * i);
			double t_6 = (t * y2) - (y * y3);
			double t_7 = (y5 * a) - (y4 * c);
			double tmp_2;
			if (y4 <= -4.916526572195435e-181) {
				tmp_2 = fma(t_3, t_2, fma(t_6, t_7, fma(t_4, t_5, (a * ((y1 * (y3 * z)) - (y1 * (y2 * x)))))));
			} else if (y4 <= -5.874102451921291e-238) {
				tmp_2 = fma(t_3, t_2, (y3 * (fma(c, (y4 * y), (y1 * (a * z))) - fma(c, (y0 * z), (y * (y5 * a))))));
			} else if (y4 <= -1.655239403815775e-249) {
				tmp_2 = y * (fma(a, (b * x), fma(c, (y4 * y3), (k * (y5 * i)))) - fma(k, (y4 * b), fma(c, (i * x), (a * (y3 * y5)))));
			} else if (y4 <= -6.969936796881791e-290) {
				tmp_2 = y * (x * t_5);
			} else if (y4 <= 5.054391497702296e-300) {
				tmp_2 = fma(t_3, t_2, (y4 * (y * ((c * y3) - (b * k)))));
			} else if (y4 <= 3.2494084172250747e-236) {
				tmp_2 = fma(t_3, t_2, fma(t_6, t_7, fma(t_4, t_5, (y1 * (fma(i, (j * x), (a * (y3 * z))) - fma(k, (i * z), (a * (y2 * x))))))));
			} else {
				double t_8 = (y * y3) - (t * y2);
				double tmp_3;
				if (y4 <= 2.8827497107938707e-204) {
					tmp_3 = c * (y4 * t_8);
				} else if (y4 <= 2.5696845278564366e-186) {
					tmp_3 = fma(t_3, t_2, (b * (fma(y4, (t * j), fma(k, (y0 * z), (a * (y * x)))) - fma(y0, (j * x), fma(a, (t * z), t_1)))));
				} else if (y4 <= 2.5223332782041714e-124) {
					tmp_3 = fma(t_3, t_2, (x * (a * ((b * y) - (y2 * y1)))));
				} else {
					double t_9 = y * (i * x);
					double tmp_4;
					if (y4 <= 5.050444181584658e-87) {
						tmp_4 = fma(t_3, t_2, fma(t_6, t_7, (c * (fma(y0, (y2 * x), (i * (t * z))) - fma(y0, (y3 * z), t_9)))));
					} else if (y4 <= 1.2981810238745263e+22) {
						tmp_4 = fma(t_3, t_2, (-c * t_9));
					} else if (y4 <= 1.687310135218241e+116) {
						tmp_4 = fma(t_3, t_2, (y2 * (fma(c, (y0 * x), (a * (t * y5))) - fma(c, (y4 * t), (y1 * (a * x))))));
					} else if (y4 <= 5.168162862352319e+225) {
						tmp_4 = log(exp(fma(t_3, t_2, (c * (x * ((y2 * y0) - (y * i)))))));
					} else {
						tmp_4 = fma(t_3, t_2, (y4 * (c * t_8)));
					}
					tmp_3 = tmp_4;
				}
				tmp_2 = tmp_3;
			}
			tmp_1 = tmp_2;
		}
		tmp = tmp_1;
	}
	return tmp;
}

Original	44.5
Target	46.1
Herbie	37.6

Derivation

Split input into 20 regimes
if y4 < -1.05652927065968289e213
1. Initial program 50.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. Simplified46.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 y4 around inf 34.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\left(t \cdot \left(b \cdot j\right) + c \cdot \left(y \cdot y3\right)\right) - \left(k \cdot \left(y \cdot b\right) + c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
4. Simplified34.0
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\mathsf{fma}\left(t, b \cdot j, c \cdot \left(y \cdot y3\right)\right) - \mathsf{fma}\left(k, y \cdot b, c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
5. Taylor expanded in b around -inf 36.6
  \[\leadsto \color{blue}{-1 \cdot \left(b \cdot \left(k \cdot \left(y4 \cdot y\right) - y4 \cdot \left(t \cdot j\right)\right)\right)} \]
if -1.05652927065968289e213 < y4 < -1.1704082746557775e124
1. Initial program 48.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. Simplified43.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 y4 around inf 34.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\left(t \cdot \left(b \cdot j\right) + c \cdot \left(y \cdot y3\right)\right) - \left(k \cdot \left(y \cdot b\right) + c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
4. Simplified33.9
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\mathsf{fma}\left(t, b \cdot j, c \cdot \left(y \cdot y3\right)\right) - \mathsf{fma}\left(k, y \cdot b, c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
5. Taylor expanded in t around inf 38.0
  \[\leadsto \color{blue}{t \cdot \left(y4 \cdot \left(b \cdot j\right) - c \cdot \left(y4 \cdot y2\right)\right)} \]
if -1.1704082746557775e124 < y4 < -1.3634844163671813e67
1. Initial program 46.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. Simplified43.4
  \[\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 40.3
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\left(y0 \cdot \left(j \cdot b\right) + \left(c \cdot \left(i \cdot y\right) + y1 \cdot \left(a \cdot y2\right)\right)\right) - \left(y \cdot \left(a \cdot b\right) + \left(c \cdot \left(y0 \cdot y2\right) + y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
4. Simplified39.6
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\mathsf{fma}\left(y0, j \cdot b, \mathsf{fma}\left(c, i \cdot y, y1 \cdot \left(a \cdot y2\right)\right)\right) - \mathsf{fma}\left(y, a \cdot b, \mathsf{fma}\left(c, y0 \cdot y2, y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
5. Taylor expanded in y1 around 0 37.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \left(\color{blue}{\left(\left(y0 \cdot \left(j \cdot b\right) + c \cdot \left(i \cdot y\right)\right) - \left(a \cdot \left(y \cdot b\right) + c \cdot \left(y0 \cdot y2\right)\right)\right)} \cdot x\right)\right) \]
6. Simplified37.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \left(\color{blue}{\left(\mathsf{fma}\left(c, i \cdot y, y0 \cdot \left(b \cdot j\right)\right) - \mathsf{fma}\left(a, y \cdot b, c \cdot \left(y2 \cdot y0\right)\right)\right)} \cdot x\right)\right) \]
if -1.3634844163671813e67 < y4 < -5.91667326913902817e28
1. Initial program 39.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. Simplified34.6
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in j around inf 41.6
  \[\leadsto \color{blue}{\left(\left(y0 \cdot \left(y3 \cdot y5\right) + \left(y4 \cdot \left(t \cdot b\right) + y1 \cdot \left(i \cdot x\right)\right)\right) - \left(y0 \cdot \left(b \cdot x\right) + \left(y4 \cdot \left(y1 \cdot y3\right) + i \cdot \left(t \cdot y5\right)\right)\right)\right) \cdot j} \]
4. Simplified41.4
  \[\leadsto \color{blue}{\left(\mathsf{fma}\left(y0, y3 \cdot y5, \mathsf{fma}\left(y4, t \cdot b, y1 \cdot \left(i \cdot x\right)\right)\right) - \mathsf{fma}\left(y0, b \cdot x, \mathsf{fma}\left(y4, y1 \cdot y3, i \cdot \left(t \cdot y5\right)\right)\right)\right) \cdot j} \]
if -5.91667326913902817e28 < y4 < -4.3571350137608013e-29
1. Initial program 40.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. Simplified34.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 y0 around -inf 40.2
  \[\leadsto \color{blue}{-1 \cdot \left(y0 \cdot \left(\left(k \cdot \left(y5 \cdot y2\right) + \left(c \cdot \left(y3 \cdot z\right) + j \cdot \left(b \cdot x\right)\right)\right) - \left(k \cdot \left(z \cdot b\right) + \left(c \cdot \left(x \cdot y2\right) + y3 \cdot \left(j \cdot y5\right)\right)\right)\right)\right)} \]
4. Simplified39.2
  \[\leadsto \color{blue}{-1 \cdot \left(y0 \cdot \left(\mathsf{fma}\left(k, y5 \cdot y2, \mathsf{fma}\left(c, y3 \cdot z, j \cdot \left(b \cdot x\right)\right)\right) - \mathsf{fma}\left(k, z \cdot b, \mathsf{fma}\left(c, x \cdot y2, y3 \cdot \left(j \cdot y5\right)\right)\right)\right)\right)} \]
if -4.3571350137608013e-29 < y4 < -3.2947111268727517e-47
1. Initial program 48.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. Simplified41.4
  \[\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 40.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\left(y0 \cdot \left(j \cdot b\right) + \left(c \cdot \left(i \cdot y\right) + y1 \cdot \left(a \cdot y2\right)\right)\right) - \left(y \cdot \left(a \cdot b\right) + \left(c \cdot \left(y0 \cdot y2\right) + y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
4. Simplified40.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\mathsf{fma}\left(y0, j \cdot b, \mathsf{fma}\left(c, i \cdot y, y1 \cdot \left(a \cdot y2\right)\right)\right) - \mathsf{fma}\left(y, a \cdot b, \mathsf{fma}\left(c, y0 \cdot y2, y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
5. Taylor expanded in c around inf 37.3
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \color{blue}{\left(c \cdot \left(\left(i \cdot y - y0 \cdot y2\right) \cdot x\right)\right)}\right) \]
6. Taylor expanded in j around 0 43.0
  \[\leadsto \color{blue}{\left(c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right) + k \cdot \left(y4 \cdot \left(y1 \cdot y2\right)\right)\right) - \left(k \cdot \left(y0 \cdot \left(y5 \cdot y2\right)\right) + c \cdot \left(i \cdot \left(y \cdot x\right)\right)\right)} \]
if -3.2947111268727517e-47 < y4 < -4.91652657219543534e-181
1. Initial program 41.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. Simplified35.4
  \[\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 -inf 35.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{-1 \cdot \left(a \cdot \left(y1 \cdot \left(y2 \cdot x\right) - y1 \cdot \left(y3 \cdot z\right)\right)\right)}\right)\right)\right) \]
if -4.91652657219543534e-181 < y4 < -5.8741024519212908e-238
1. Initial program 43.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. Simplified39.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 y3 around inf 40.4
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y3 \cdot \left(\left(c \cdot \left(y4 \cdot y\right) + y1 \cdot \left(a \cdot z\right)\right) - \left(c \cdot \left(y0 \cdot z\right) + y \cdot \left(a \cdot y5\right)\right)\right)}\right) \]
4. Simplified40.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y3 \cdot \left(\mathsf{fma}\left(c, y4 \cdot y, y1 \cdot \left(a \cdot z\right)\right) - \mathsf{fma}\left(c, y0 \cdot z, y \cdot \left(a \cdot y5\right)\right)\right)}\right) \]
if -5.8741024519212908e-238 < y4 < -1.6552394038157751e-249
1. Initial program 45.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. Simplified40.4
  \[\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 39.9
  \[\leadsto \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(k \cdot \left(y4 \cdot b\right) + \left(c \cdot \left(i \cdot x\right) + a \cdot \left(y3 \cdot y5\right)\right)\right)\right) \cdot y} \]
4. Simplified39.9
  \[\leadsto \color{blue}{\left(\mathsf{fma}\left(a, b \cdot x, \mathsf{fma}\left(c, y4 \cdot y3, k \cdot \left(i \cdot y5\right)\right)\right) - \mathsf{fma}\left(k, y4 \cdot b, \mathsf{fma}\left(c, i \cdot x, a \cdot \left(y3 \cdot y5\right)\right)\right)\right) \cdot y} \]
if -1.6552394038157751e-249 < y4 < -6.96993679688179106e-290
1. Initial program 43.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. Simplified38.6
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in x around -inf 38.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\left(y0 \cdot \left(j \cdot b\right) + \left(c \cdot \left(i \cdot y\right) + y1 \cdot \left(a \cdot y2\right)\right)\right) - \left(y \cdot \left(a \cdot b\right) + \left(c \cdot \left(y0 \cdot y2\right) + y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
4. Simplified38.0
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\mathsf{fma}\left(y0, j \cdot b, \mathsf{fma}\left(c, i \cdot y, y1 \cdot \left(a \cdot y2\right)\right)\right) - \mathsf{fma}\left(y, a \cdot b, \mathsf{fma}\left(c, y0 \cdot y2, y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
5. Taylor expanded in y around -inf 47.5
  \[\leadsto \color{blue}{-1 \cdot \left(\left(c \cdot \left(i \cdot x\right) - a \cdot \left(b \cdot x\right)\right) \cdot y\right)} \]
6. Simplified45.2
  \[\leadsto \color{blue}{-y \cdot \left(\left(c \cdot i - a \cdot b\right) \cdot x\right)} \]
if -6.96993679688179106e-290 < y4 < 5.0543914977022961e-300
1. Initial program 41.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. Simplified38.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)} \]
3. Taylor expanded in y4 around inf 46.5
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\left(t \cdot \left(b \cdot j\right) + c \cdot \left(y \cdot y3\right)\right) - \left(k \cdot \left(y \cdot b\right) + c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
4. Simplified45.9
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\mathsf{fma}\left(t, b \cdot j, c \cdot \left(y \cdot y3\right)\right) - \mathsf{fma}\left(k, y \cdot b, c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
5. Taylor expanded in y around inf 46.4
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(y \cdot \left(c \cdot y3 - k \cdot b\right)\right)}\right) \]
if 5.0543914977022961e-300 < y4 < 3.24940841722507467e-236
1. Initial program 39.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. Simplified36.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.4
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot 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.4
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \color{blue}{\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) \cdot y1}\right)\right)\right) \]
if 3.24940841722507467e-236 < y4 < 2.882749710793871e-204
1. Initial program 43.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. Simplified41.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 y4 around inf 45.4
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\left(t \cdot \left(b \cdot j\right) + c \cdot \left(y \cdot y3\right)\right) - \left(k \cdot \left(y \cdot b\right) + c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
4. Simplified44.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\mathsf{fma}\left(t, b \cdot j, c \cdot \left(y \cdot y3\right)\right) - \mathsf{fma}\left(k, y \cdot b, c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
5. Taylor expanded in c around -inf 53.2
  \[\leadsto \color{blue}{-1 \cdot \left(c \cdot \left(y4 \cdot \left(t \cdot y2\right) - y4 \cdot \left(y \cdot y3\right)\right)\right)} \]
6. Simplified53.2
  \[\leadsto \color{blue}{\left(y4 \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) \cdot \left(-c\right)} \]
if 2.882749710793871e-204 < y4 < 2.56968452785643659e-186
1. Initial program 40.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. Simplified38.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 37.4
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{b \cdot \left(\left(y4 \cdot \left(t \cdot j\right) + \left(k \cdot \left(y0 \cdot z\right) + a \cdot \left(y \cdot x\right)\right)\right) - \left(y0 \cdot \left(j \cdot x\right) + \left(a \cdot \left(t \cdot z\right) + k \cdot \left(y4 \cdot y\right)\right)\right)\right)}\right) \]
4. Simplified36.9
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{b \cdot \left(\mathsf{fma}\left(y4, t \cdot j, \mathsf{fma}\left(k, y0 \cdot z, a \cdot \left(y \cdot x\right)\right)\right) - \mathsf{fma}\left(y0, j \cdot x, \mathsf{fma}\left(a, t \cdot z, k \cdot \left(y4 \cdot y\right)\right)\right)\right)}\right) \]
if 2.56968452785643659e-186 < y4 < 2.52233327820417142e-124
1. Initial program 41.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. Simplified37.1
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in x around -inf 38.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\left(y0 \cdot \left(j \cdot b\right) + \left(c \cdot \left(i \cdot y\right) + y1 \cdot \left(a \cdot y2\right)\right)\right) - \left(y \cdot \left(a \cdot b\right) + \left(c \cdot \left(y0 \cdot y2\right) + y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
4. Simplified37.8
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\mathsf{fma}\left(y0, j \cdot b, \mathsf{fma}\left(c, i \cdot y, y1 \cdot \left(a \cdot y2\right)\right)\right) - \mathsf{fma}\left(y, a \cdot b, \mathsf{fma}\left(c, y0 \cdot y2, y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
5. Taylor expanded in a around -inf 36.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \left(\color{blue}{\left(-1 \cdot \left(a \cdot \left(y \cdot b - y1 \cdot y2\right)\right)\right)} \cdot x\right)\right) \]
6. Simplified36.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \left(\color{blue}{\left(-a \cdot \left(y \cdot b - y1 \cdot y2\right)\right)} \cdot x\right)\right) \]
if 2.52233327820417142e-124 < y4 < 5.05044418158465835e-87
1. Initial program 41.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. Simplified37.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 c around inf 35.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, \color{blue}{c \cdot \left(\left(y0 \cdot \left(y2 \cdot x\right) + i \cdot \left(t \cdot z\right)\right) - \left(y0 \cdot \left(y3 \cdot z\right) + y \cdot \left(i \cdot x\right)\right)\right)}\right)\right) \]
4. Simplified35.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \color{blue}{c \cdot \left(\mathsf{fma}\left(y0, y2 \cdot x, i \cdot \left(t \cdot z\right)\right) - \mathsf{fma}\left(y0, y3 \cdot z, y \cdot \left(i \cdot x\right)\right)\right)}\right)\right) \]
if 5.05044418158465835e-87 < y4 < 1.29818102387452632e22
1. Initial program 42.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. Simplified37.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 x around -inf 39.5
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\left(y0 \cdot \left(j \cdot b\right) + \left(c \cdot \left(i \cdot y\right) + y1 \cdot \left(a \cdot y2\right)\right)\right) - \left(y \cdot \left(a \cdot b\right) + \left(c \cdot \left(y0 \cdot y2\right) + y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
4. Simplified38.6
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\mathsf{fma}\left(y0, j \cdot b, \mathsf{fma}\left(c, i \cdot y, y1 \cdot \left(a \cdot y2\right)\right)\right) - \mathsf{fma}\left(y, a \cdot b, \mathsf{fma}\left(c, y0 \cdot y2, y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
5. Taylor expanded in c around inf 39.6
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \color{blue}{\left(c \cdot \left(\left(i \cdot y - y0 \cdot y2\right) \cdot x\right)\right)}\right) \]
6. Taylor expanded in i around inf 39.4
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \left(c \cdot \color{blue}{\left(y \cdot \left(i \cdot x\right)\right)}\right)\right) \]
if 1.29818102387452632e22 < y4 < 1.6873101352182411e116
1. Initial program 46.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. Simplified39.6
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in y2 around -inf 37.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\left(c \cdot \left(y4 \cdot t\right) + y1 \cdot \left(a \cdot x\right)\right) - \left(c \cdot \left(y0 \cdot x\right) + a \cdot \left(t \cdot y5\right)\right)\right) \cdot y2\right)}\right) \]
4. Simplified37.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\mathsf{fma}\left(c, y4 \cdot t, y1 \cdot \left(a \cdot x\right)\right) - \mathsf{fma}\left(c, y0 \cdot x, a \cdot \left(t \cdot y5\right)\right)\right) \cdot y2\right)}\right) \]
if 1.6873101352182411e116 < y4 < 5.16816286235231881e225
1. Initial program 47.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. Simplified42.5
  \[\leadsto \color{blue}{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, a \cdot y5 - c \cdot y4, \mathsf{fma}\left(x \cdot y - z \cdot t, a \cdot b - c \cdot i, \mathsf{fma}\left(x \cdot j - z \cdot k, i \cdot y1 - b \cdot y0, \mathsf{fma}\left(x \cdot y2 - z \cdot y3, c \cdot y0 - a \cdot y1, \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\right)\right)\right)\right)} \]
3. Taylor expanded in x around -inf 41.2
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\left(y0 \cdot \left(j \cdot b\right) + \left(c \cdot \left(i \cdot y\right) + y1 \cdot \left(a \cdot y2\right)\right)\right) - \left(y \cdot \left(a \cdot b\right) + \left(c \cdot \left(y0 \cdot y2\right) + y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
4. Simplified40.9
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{-1 \cdot \left(\left(\mathsf{fma}\left(y0, j \cdot b, \mathsf{fma}\left(c, i \cdot y, y1 \cdot \left(a \cdot y2\right)\right)\right) - \mathsf{fma}\left(y, a \cdot b, \mathsf{fma}\left(c, y0 \cdot y2, y1 \cdot \left(i \cdot j\right)\right)\right)\right) \cdot x\right)}\right) \]
5. Taylor expanded in c around inf 36.8
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \color{blue}{\left(c \cdot \left(\left(i \cdot y - y0 \cdot y2\right) \cdot x\right)\right)}\right) \]
6. Applied add-log-exp_binary6432.7
  \[\leadsto \color{blue}{\log \left(e^{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, -1 \cdot \left(c \cdot \left(\left(i \cdot y - y0 \cdot y2\right) \cdot x\right)\right)\right)}\right)} \]
7. Simplified32.7
  \[\leadsto \log \color{blue}{\left(e^{\mathsf{fma}\left(y2 \cdot k - y3 \cdot j, y4 \cdot y1 - y0 \cdot y5, c \cdot \left(x \cdot \left(y0 \cdot y2 - i \cdot y\right)\right)\right)}\right)} \]
if 5.16816286235231881e225 < y4
1. Initial program 50.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. Simplified45.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 y4 around inf 33.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\left(t \cdot \left(b \cdot j\right) + c \cdot \left(y \cdot y3\right)\right) - \left(k \cdot \left(y \cdot b\right) + c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
4. Simplified33.1
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, \color{blue}{y4 \cdot \left(\mathsf{fma}\left(t, b \cdot j, c \cdot \left(y \cdot y3\right)\right) - \mathsf{fma}\left(k, y \cdot b, c \cdot \left(t \cdot y2\right)\right)\right)}\right) \]
5. Taylor expanded in c around -inf 31.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, y4 \cdot \color{blue}{\left(-1 \cdot \left(c \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\right)}\right) \]
6. Simplified31.7
  \[\leadsto \mathsf{fma}\left(k \cdot y2 - j \cdot y3, y1 \cdot y4 - y0 \cdot y5, y4 \cdot \color{blue}{\left(-c \cdot \left(t \cdot y2 - y3 \cdot y\right)\right)}\right) \]
Recombined 20 regimes into one program.
Final simplification37.6
\[\leadsto \begin{array}{l} \mathbf{if}\;y4 \leq -1.0565292706596829 \cdot 10^{+213}:\\ \;\;\;\;b \cdot \left(y4 \cdot \left(t \cdot j\right) - k \cdot \left(y4 \cdot y\right)\right)\\ \mathbf{elif}\;y4 \leq -1.1704082746557775 \cdot 10^{+124}:\\ \;\;\;\;t \cdot \left(y4 \cdot \left(b \cdot j\right) - c \cdot \left(y4 \cdot y2\right)\right)\\ \mathbf{elif}\;y4 \leq -1.3634844163671813 \cdot 10^{+67}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, x \cdot \left(\mathsf{fma}\left(a, b \cdot y, c \cdot \left(y2 \cdot y0\right)\right) - \mathsf{fma}\left(c, y \cdot i, \left(b \cdot j\right) \cdot y0\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -5.916673269139028 \cdot 10^{+28}:\\ \;\;\;\;j \cdot \left(\mathsf{fma}\left(y0, y3 \cdot y5, \mathsf{fma}\left(y4, b \cdot t, y1 \cdot \left(i \cdot x\right)\right)\right) - \mathsf{fma}\left(y0, b \cdot x, \mathsf{fma}\left(y4, y3 \cdot y1, i \cdot \left(t \cdot y5\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -4.3571350137608013 \cdot 10^{-29}:\\ \;\;\;\;y0 \cdot \left(\mathsf{fma}\left(k, b \cdot z, \mathsf{fma}\left(c, y2 \cdot x, y3 \cdot \left(j \cdot y5\right)\right)\right) - \mathsf{fma}\left(k, y2 \cdot y5, \mathsf{fma}\left(c, y3 \cdot z, j \cdot \left(b \cdot x\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -3.2947111268727517 \cdot 10^{-47}:\\ \;\;\;\;\left(c \cdot \left(y0 \cdot \left(y2 \cdot x\right)\right) + k \cdot \left(y4 \cdot \left(y2 \cdot y1\right)\right)\right) - \left(k \cdot \left(y0 \cdot \left(y2 \cdot y5\right)\right) + c \cdot \left(i \cdot \left(y \cdot x\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -4.916526572195435 \cdot 10^{-181}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, b \cdot a - c \cdot i, a \cdot \left(y1 \cdot \left(y3 \cdot z\right) - y1 \cdot \left(y2 \cdot x\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -5.874102451921291 \cdot 10^{-238}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, y3 \cdot \left(\mathsf{fma}\left(c, y4 \cdot y, y1 \cdot \left(a \cdot z\right)\right) - \mathsf{fma}\left(c, y0 \cdot z, y \cdot \left(y5 \cdot a\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -1.655239403815775 \cdot 10^{-249}:\\ \;\;\;\;y \cdot \left(\mathsf{fma}\left(a, b \cdot x, \mathsf{fma}\left(c, y4 \cdot y3, k \cdot \left(y5 \cdot i\right)\right)\right) - \mathsf{fma}\left(k, y4 \cdot b, \mathsf{fma}\left(c, i \cdot x, a \cdot \left(y3 \cdot y5\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq -6.969936796881791 \cdot 10^{-290}:\\ \;\;\;\;y \cdot \left(x \cdot \left(b \cdot a - c \cdot i\right)\right)\\ \mathbf{elif}\;y4 \leq 5.054391497702296 \cdot 10^{-300}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, y4 \cdot \left(y \cdot \left(c \cdot y3 - b \cdot k\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 3.2494084172250747 \cdot 10^{-236}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, y5 \cdot a - y4 \cdot c, \mathsf{fma}\left(y \cdot x - t \cdot z, b \cdot a - 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}\;y4 \leq 2.8827497107938707 \cdot 10^{-204}:\\ \;\;\;\;c \cdot \left(y4 \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\ \mathbf{elif}\;y4 \leq 2.5696845278564366 \cdot 10^{-186}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, b \cdot \left(\mathsf{fma}\left(y4, t \cdot j, \mathsf{fma}\left(k, y0 \cdot z, a \cdot \left(y \cdot x\right)\right)\right) - \mathsf{fma}\left(y0, j \cdot x, \mathsf{fma}\left(a, t \cdot z, k \cdot \left(y4 \cdot y\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 2.5223332782041714 \cdot 10^{-124}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, x \cdot \left(a \cdot \left(b \cdot y - y2 \cdot y1\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 5.050444181584658 \cdot 10^{-87}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, \mathsf{fma}\left(t \cdot y2 - y \cdot y3, y5 \cdot a - y4 \cdot c, c \cdot \left(\mathsf{fma}\left(y0, y2 \cdot x, i \cdot \left(t \cdot z\right)\right) - \mathsf{fma}\left(y0, y3 \cdot z, y \cdot \left(i \cdot x\right)\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 1.2981810238745263 \cdot 10^{+22}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, \left(-c\right) \cdot \left(y \cdot \left(i \cdot x\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 1.687310135218241 \cdot 10^{+116}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, y2 \cdot \left(\mathsf{fma}\left(c, y0 \cdot x, a \cdot \left(t \cdot y5\right)\right) - \mathsf{fma}\left(c, y4 \cdot t, y1 \cdot \left(a \cdot x\right)\right)\right)\right)\\ \mathbf{elif}\;y4 \leq 5.168162862352319 \cdot 10^{+225}:\\ \;\;\;\;\log \left(e^{\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, c \cdot \left(x \cdot \left(y2 \cdot y0 - y \cdot i\right)\right)\right)}\right)\\ \mathbf{else}:\\ \;\;\;\;\mathsf{fma}\left(k \cdot y2 - j \cdot y3, y4 \cdot y1 - y0 \cdot y5, y4 \cdot \left(c \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\right)\\ \end{array} \]

Error

Target

Derivation

`if y4 < -1.05652927065968289e213`

`if -1.05652927065968289e213 < y4 < -1.1704082746557775e124`

`if -1.1704082746557775e124 < y4 < -1.3634844163671813e67`

`if -1.3634844163671813e67 < y4 < -5.91667326913902817e28`

`if -5.91667326913902817e28 < y4 < -4.3571350137608013e-29`

`if -4.3571350137608013e-29 < y4 < -3.2947111268727517e-47`

`if -3.2947111268727517e-47 < y4 < -4.91652657219543534e-181`

`if -4.91652657219543534e-181 < y4 < -5.8741024519212908e-238`

`if -5.8741024519212908e-238 < y4 < -1.6552394038157751e-249`

`if -1.6552394038157751e-249 < y4 < -6.96993679688179106e-290`

`if -6.96993679688179106e-290 < y4 < 5.0543914977022961e-300`

`if 5.0543914977022961e-300 < y4 < 3.24940841722507467e-236`

`if 3.24940841722507467e-236 < y4 < 2.882749710793871e-204`

`if 2.882749710793871e-204 < y4 < 2.56968452785643659e-186`

`if 2.56968452785643659e-186 < y4 < 2.52233327820417142e-124`

`if 2.52233327820417142e-124 < y4 < 5.05044418158465835e-87`

`if 5.05044418158465835e-87 < y4 < 1.29818102387452632e22`

`if 1.29818102387452632e22 < y4 < 1.6873101352182411e116`

`if 1.6873101352182411e116 < y4 < 5.16816286235231881e225`

`if 5.16816286235231881e225 < y4`

Reproduce