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

↓

\[\begin{array}{l} \mathbf{if}\;c \le -1.520268482954330987110772716031092954836 \cdot 10^{-5}:\\ \;\;\;\;\left(\left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \sqrt[3]{b \cdot y0 - y1 \cdot i} \cdot \left(\left(\mathsf{fma}\left(x, j, \left(-z\right) \cdot k\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right)\right) + \left(\left(a \cdot \left(-\mathsf{fma}\left(y3, -z, y2 \cdot x\right)\right)\right) \cdot y1 + c \cdot \left(y0 \cdot \mathsf{fma}\left(y3, -z, y2 \cdot x\right)\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(\left(-\left(y5 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right) \cdot y0\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right)\\ \mathbf{elif}\;c \le -5.44363240207917693445236565463199493789 \cdot 10^{-107}:\\ \;\;\;\;\left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\ \mathbf{elif}\;c \le -1.658966746623872396328249367245659401154 \cdot 10^{-170}:\\ \;\;\;\;\left(\mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right) \cdot \left(\left(-y0\right) \cdot y5\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right) + \left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(z \cdot \left(\left(t \cdot i\right) \cdot c\right) - \mathsf{fma}\left(t \cdot a, b \cdot z, x \cdot \left(i \cdot \left(y \cdot c\right)\right)\right)\right) - \left(b \cdot y0 - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;c \le 1.645164052734720604978390583791993656403 \cdot 10^{-93}:\\ \;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(\sqrt[3]{\sqrt[3]{b \cdot y0 - y1 \cdot i}} \cdot \sqrt[3]{\sqrt[3]{b \cdot y0 - y1 \cdot i} \cdot \sqrt[3]{b \cdot y0 - y1 \cdot i}}\right) \cdot \left(\left(\mathsf{fma}\left(x, j, \left(-z\right) \cdot k\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(\left(-\left(y5 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right) \cdot y0\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(\left(\left(-i\right) \cdot \left(c \cdot \left(x \cdot y - t \cdot z\right)\right) + \left(b \cdot \left(x \cdot y - t \cdot z\right)\right) \cdot a\right) - \left(b \cdot y0 - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\ \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}
\mathbf{if}\;c \le -1.520268482954330987110772716031092954836 \cdot 10^{-5}:\\
\;\;\;\;\left(\left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \sqrt[3]{b \cdot y0 - y1 \cdot i} \cdot \left(\left(\mathsf{fma}\left(x, j, \left(-z\right) \cdot k\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right)\right) + \left(\left(a \cdot \left(-\mathsf{fma}\left(y3, -z, y2 \cdot x\right)\right)\right) \cdot y1 + c \cdot \left(y0 \cdot \mathsf{fma}\left(y3, -z, y2 \cdot x\right)\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(\left(-\left(y5 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right) \cdot y0\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right)\\

\mathbf{elif}\;c \le -5.44363240207917693445236565463199493789 \cdot 10^{-107}:\\
\;\;\;\;\left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\

\mathbf{elif}\;c \le -1.658966746623872396328249367245659401154 \cdot 10^{-170}:\\
\;\;\;\;\left(\mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right) \cdot \left(\left(-y0\right) \cdot y5\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right) + \left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(z \cdot \left(\left(t \cdot i\right) \cdot c\right) - \mathsf{fma}\left(t \cdot a, b \cdot z, x \cdot \left(i \cdot \left(y \cdot c\right)\right)\right)\right) - \left(b \cdot y0 - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\

\mathbf{elif}\;c \le 1.645164052734720604978390583791993656403 \cdot 10^{-93}:\\
\;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(\sqrt[3]{\sqrt[3]{b \cdot y0 - y1 \cdot i}} \cdot \sqrt[3]{\sqrt[3]{b \cdot y0 - y1 \cdot i} \cdot \sqrt[3]{b \cdot y0 - y1 \cdot i}}\right) \cdot \left(\left(\mathsf{fma}\left(x, j, \left(-z\right) \cdot k\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(\left(-\left(y5 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right) \cdot y0\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\left(\left(\left(\left(\left(\left(-i\right) \cdot \left(c \cdot \left(x \cdot y - t \cdot z\right)\right) + \left(b \cdot \left(x \cdot y - t \cdot z\right)\right) \cdot a\right) - \left(b \cdot y0 - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\

\end{array}

double f(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 r133725 = x;
        double r133726 = y;
        double r133727 = r133725 * r133726;
        double r133728 = z;
        double r133729 = t;
        double r133730 = r133728 * r133729;
        double r133731 = r133727 - r133730;
        double r133732 = a;
        double r133733 = b;
        double r133734 = r133732 * r133733;
        double r133735 = c;
        double r133736 = i;
        double r133737 = r133735 * r133736;
        double r133738 = r133734 - r133737;
        double r133739 = r133731 * r133738;
        double r133740 = j;
        double r133741 = r133725 * r133740;
        double r133742 = k;
        double r133743 = r133728 * r133742;
        double r133744 = r133741 - r133743;
        double r133745 = y0;
        double r133746 = r133745 * r133733;
        double r133747 = y1;
        double r133748 = r133747 * r133736;
        double r133749 = r133746 - r133748;
        double r133750 = r133744 * r133749;
        double r133751 = r133739 - r133750;
        double r133752 = y2;
        double r133753 = r133725 * r133752;
        double r133754 = y3;
        double r133755 = r133728 * r133754;
        double r133756 = r133753 - r133755;
        double r133757 = r133745 * r133735;
        double r133758 = r133747 * r133732;
        double r133759 = r133757 - r133758;
        double r133760 = r133756 * r133759;
        double r133761 = r133751 + r133760;
        double r133762 = r133729 * r133740;
        double r133763 = r133726 * r133742;
        double r133764 = r133762 - r133763;
        double r133765 = y4;
        double r133766 = r133765 * r133733;
        double r133767 = y5;
        double r133768 = r133767 * r133736;
        double r133769 = r133766 - r133768;
        double r133770 = r133764 * r133769;
        double r133771 = r133761 + r133770;
        double r133772 = r133729 * r133752;
        double r133773 = r133726 * r133754;
        double r133774 = r133772 - r133773;
        double r133775 = r133765 * r133735;
        double r133776 = r133767 * r133732;
        double r133777 = r133775 - r133776;
        double r133778 = r133774 * r133777;
        double r133779 = r133771 - r133778;
        double r133780 = r133742 * r133752;
        double r133781 = r133740 * r133754;
        double r133782 = r133780 - r133781;
        double r133783 = r133765 * r133747;
        double r133784 = r133767 * r133745;
        double r133785 = r133783 - r133784;
        double r133786 = r133782 * r133785;
        double r133787 = r133779 + r133786;
        return r133787;
}

↓

double f(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 r133788 = c;
        double r133789 = -1.520268482954331e-05;
        bool r133790 = r133788 <= r133789;
        double r133791 = x;
        double r133792 = y;
        double r133793 = r133791 * r133792;
        double r133794 = t;
        double r133795 = z;
        double r133796 = r133794 * r133795;
        double r133797 = r133793 - r133796;
        double r133798 = a;
        double r133799 = b;
        double r133800 = r133798 * r133799;
        double r133801 = i;
        double r133802 = r133801 * r133788;
        double r133803 = r133800 - r133802;
        double r133804 = r133797 * r133803;
        double r133805 = y0;
        double r133806 = r133799 * r133805;
        double r133807 = y1;
        double r133808 = r133807 * r133801;
        double r133809 = r133806 - r133808;
        double r133810 = cbrt(r133809);
        double r133811 = j;
        double r133812 = -r133795;
        double r133813 = k;
        double r133814 = r133812 * r133813;
        double r133815 = fma(r133791, r133811, r133814);
        double r133816 = -r133807;
        double r133817 = r133801 * r133816;
        double r133818 = fma(r133799, r133805, r133817);
        double r133819 = cbrt(r133818);
        double r133820 = r133815 * r133819;
        double r133821 = r133820 * r133819;
        double r133822 = r133810 * r133821;
        double r133823 = r133804 - r133822;
        double r133824 = y3;
        double r133825 = y2;
        double r133826 = r133825 * r133791;
        double r133827 = fma(r133824, r133812, r133826);
        double r133828 = -r133827;
        double r133829 = r133798 * r133828;
        double r133830 = r133829 * r133807;
        double r133831 = r133805 * r133827;
        double r133832 = r133788 * r133831;
        double r133833 = r133830 + r133832;
        double r133834 = r133823 + r133833;
        double r133835 = r133811 * r133794;
        double r133836 = r133792 * r133813;
        double r133837 = r133835 - r133836;
        double r133838 = y4;
        double r133839 = r133838 * r133799;
        double r133840 = y5;
        double r133841 = r133840 * r133801;
        double r133842 = r133839 - r133841;
        double r133843 = r133837 * r133842;
        double r133844 = r133834 + r133843;
        double r133845 = r133788 * r133838;
        double r133846 = r133798 * r133840;
        double r133847 = r133845 - r133846;
        double r133848 = r133794 * r133825;
        double r133849 = r133792 * r133824;
        double r133850 = r133848 - r133849;
        double r133851 = r133847 * r133850;
        double r133852 = r133844 - r133851;
        double r133853 = -r133811;
        double r133854 = r133824 * r133853;
        double r133855 = fma(r133813, r133825, r133854);
        double r133856 = r133840 * r133855;
        double r133857 = r133856 * r133805;
        double r133858 = -r133857;
        double r133859 = r133807 * r133855;
        double r133860 = r133838 * r133859;
        double r133861 = r133858 + r133860;
        double r133862 = r133852 + r133861;
        double r133863 = -5.443632402079177e-107;
        bool r133864 = r133788 <= r133863;
        double r133865 = r133788 * r133805;
        double r133866 = r133807 * r133798;
        double r133867 = r133865 - r133866;
        double r133868 = r133824 * r133795;
        double r133869 = r133826 - r133868;
        double r133870 = r133867 * r133869;
        double r133871 = r133804 + r133870;
        double r133872 = r133871 + r133843;
        double r133873 = r133872 - r133851;
        double r133874 = r133825 * r133813;
        double r133875 = r133824 * r133811;
        double r133876 = r133874 - r133875;
        double r133877 = r133807 * r133838;
        double r133878 = r133840 * r133805;
        double r133879 = r133877 - r133878;
        double r133880 = r133876 * r133879;
        double r133881 = r133873 + r133880;
        double r133882 = -1.6589667466238724e-170;
        bool r133883 = r133788 <= r133882;
        double r133884 = -r133805;
        double r133885 = r133884 * r133840;
        double r133886 = r133855 * r133885;
        double r133887 = r133886 + r133860;
        double r133888 = r133794 * r133801;
        double r133889 = r133888 * r133788;
        double r133890 = r133795 * r133889;
        double r133891 = r133794 * r133798;
        double r133892 = r133799 * r133795;
        double r133893 = r133792 * r133788;
        double r133894 = r133801 * r133893;
        double r133895 = r133791 * r133894;
        double r133896 = fma(r133891, r133892, r133895);
        double r133897 = r133890 - r133896;
        double r133898 = r133791 * r133811;
        double r133899 = r133795 * r133813;
        double r133900 = r133898 - r133899;
        double r133901 = r133809 * r133900;
        double r133902 = r133897 - r133901;
        double r133903 = r133902 + r133870;
        double r133904 = r133843 + r133903;
        double r133905 = r133904 - r133851;
        double r133906 = r133887 + r133905;
        double r133907 = 1.6451640527347206e-93;
        bool r133908 = r133788 <= r133907;
        double r133909 = cbrt(r133810);
        double r133910 = r133810 * r133810;
        double r133911 = cbrt(r133910);
        double r133912 = r133909 * r133911;
        double r133913 = r133912 * r133821;
        double r133914 = r133804 - r133913;
        double r133915 = r133914 + r133870;
        double r133916 = r133843 + r133915;
        double r133917 = r133916 - r133851;
        double r133918 = r133917 + r133861;
        double r133919 = -r133801;
        double r133920 = r133788 * r133797;
        double r133921 = r133919 * r133920;
        double r133922 = r133799 * r133797;
        double r133923 = r133922 * r133798;
        double r133924 = r133921 + r133923;
        double r133925 = r133924 - r133901;
        double r133926 = r133925 + r133870;
        double r133927 = r133926 + r133843;
        double r133928 = r133927 - r133851;
        double r133929 = r133928 + r133880;
        double r133930 = r133908 ? r133918 : r133929;
        double r133931 = r133883 ? r133906 : r133930;
        double r133932 = r133864 ? r133881 : r133931;
        double r133933 = r133790 ? r133862 : r133932;
        return r133933;
}

Derivation

Split input into 5 regimes
if c < -1.520268482954331e-05
1. Initial program 29.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. Using strategy rm
3. Applied sub-neg29.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \color{blue}{\left(y4 \cdot y1 + \left(-y5 \cdot y0\right)\right)}\]
4. Applied distribute-lft-in29.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(-y5 \cdot y0\right)\right)}\]
5. Simplified29.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\color{blue}{\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4} + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(-y5 \cdot y0\right)\right)\]
6. Simplified29.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \color{blue}{\left(-\left(y5 \cdot y0\right) \cdot \mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}\right)\]
7. Using strategy rm
8. Applied pow129.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\left(y5 \cdot y0\right) \cdot \color{blue}{{\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}}\right)\right)\]
9. Applied pow129.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\left(y5 \cdot \color{blue}{{y0}^{1}}\right) \cdot {\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}\right)\right)\]
10. Applied pow129.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\left(\color{blue}{{y5}^{1}} \cdot {y0}^{1}\right) \cdot {\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}\right)\right)\]
11. Applied pow-prod-down29.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\color{blue}{{\left(y5 \cdot y0\right)}^{1}} \cdot {\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}\right)\right)\]
12. Applied pow-prod-down29.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\color{blue}{{\left(\left(y5 \cdot y0\right) \cdot \mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}}\right)\right)\]
13. Simplified30.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\color{blue}{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}}^{1}\right)\right)\]
14. Using strategy rm
15. Applied add-cube-cbrt30.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \color{blue}{\left(\left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) \cdot \sqrt[3]{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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
16. Applied associate-*r*30.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{\left(\left(x \cdot j - z \cdot k\right) \cdot \left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right)\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}}\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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
17. Simplified30.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{\left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right)} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
18. Using strategy rm
19. Applied sub-neg30.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \color{blue}{\left(y0 \cdot c + \left(-y1 \cdot a\right)\right)}\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
20. Applied distribute-lft-in30.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) + \color{blue}{\left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(-y1 \cdot a\right)\right)}\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
21. Simplified28.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) + \left(\color{blue}{\left(\mathsf{fma}\left(y3, -z, x \cdot y2\right) \cdot y0\right) \cdot c} + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(-y1 \cdot a\right)\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
22. Simplified27.9
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) + \left(\left(\mathsf{fma}\left(y3, -z, x \cdot y2\right) \cdot y0\right) \cdot c + \color{blue}{y1 \cdot \left(\left(-a\right) \cdot \mathsf{fma}\left(y3, -z, x \cdot y2\right)\right)}\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
if -1.520268482954331e-05 < c < -5.443632402079177e-107
1. Initial program 25.4
  \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
2. Taylor expanded around 0 28.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{0}\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)\]
if -5.443632402079177e-107 < c < -1.6589667466238724e-170
1. Initial program 25.2
  \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
2. Using strategy rm
3. Applied sub-neg25.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \color{blue}{\left(y4 \cdot y1 + \left(-y5 \cdot y0\right)\right)}\]
4. Applied distribute-lft-in25.2
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(-y5 \cdot y0\right)\right)}\]
5. Simplified24.7
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\color{blue}{\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4} + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(-y5 \cdot y0\right)\right)\]
6. Simplified24.7
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \color{blue}{\left(-\left(y5 \cdot y0\right) \cdot \mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}\right)\]
7. Taylor expanded around inf 26.3
  \[\leadsto \left(\left(\left(\left(\color{blue}{\left(t \cdot \left(i \cdot \left(z \cdot c\right)\right) - \left(a \cdot \left(t \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(c \cdot y\right)\right)\right)\right)} - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\left(y5 \cdot y0\right) \cdot \mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)\right)\]
8. Simplified27.9
  \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(\left(t \cdot i\right) \cdot c\right) \cdot z - \mathsf{fma}\left(a \cdot t, b \cdot z, \left(i \cdot \left(c \cdot y\right)\right) \cdot x\right)\right)} - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\left(y5 \cdot y0\right) \cdot \mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)\right)\]
if -1.6589667466238724e-170 < c < 1.6451640527347206e-93
1. Initial program 27.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. Using strategy rm
3. Applied sub-neg27.0
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \color{blue}{\left(y4 \cdot y1 + \left(-y5 \cdot y0\right)\right)}\]
4. Applied distribute-lft-in27.0
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(-y5 \cdot y0\right)\right)}\]
5. Simplified26.8
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\color{blue}{\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4} + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(-y5 \cdot y0\right)\right)\]
6. Simplified26.8
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \color{blue}{\left(-\left(y5 \cdot y0\right) \cdot \mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}\right)\]
7. Using strategy rm
8. Applied pow126.8
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\left(y5 \cdot y0\right) \cdot \color{blue}{{\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}}\right)\right)\]
9. Applied pow126.8
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\left(y5 \cdot \color{blue}{{y0}^{1}}\right) \cdot {\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}\right)\right)\]
10. Applied pow126.8
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\left(\color{blue}{{y5}^{1}} \cdot {y0}^{1}\right) \cdot {\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}\right)\right)\]
11. Applied pow-prod-down26.8
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\color{blue}{{\left(y5 \cdot y0\right)}^{1}} \cdot {\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}\right)\right)\]
12. Applied pow-prod-down26.8
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-\color{blue}{{\left(\left(y5 \cdot y0\right) \cdot \mathsf{fma}\left(k, y2, -j \cdot y3\right)\right)}^{1}}\right)\right)\]
13. Simplified26.4
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\color{blue}{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}}^{1}\right)\right)\]
14. Using strategy rm
15. Applied add-cube-cbrt26.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \color{blue}{\left(\left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) \cdot \sqrt[3]{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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
16. Applied associate-*r*26.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{\left(\left(x \cdot j - z \cdot k\right) \cdot \left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right)\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}}\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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
17. Simplified26.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{\left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right)} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
18. Using strategy rm
19. Applied add-cube-cbrt26.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right) \cdot \sqrt[3]{\color{blue}{\left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}}}\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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
20. Applied cbrt-prod26.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right) \cdot \color{blue}{\left(\sqrt[3]{\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}} \cdot \sqrt[3]{\sqrt[3]{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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
21. Simplified26.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right) \cdot \left(\color{blue}{\sqrt[3]{\sqrt[3]{b \cdot y0 - y1 \cdot i} \cdot \sqrt[3]{b \cdot y0 - y1 \cdot i}}} \cdot \sqrt[3]{\sqrt[3]{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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
22. Simplified26.5
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \left(\sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)} \cdot \mathsf{fma}\left(x, j, \left(-k\right) \cdot z\right)\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{b \cdot y0 - y1 \cdot i} \cdot \sqrt[3]{b \cdot y0 - y1 \cdot i}} \cdot \color{blue}{\sqrt[3]{\sqrt[3]{b \cdot y0 - 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(\left(\mathsf{fma}\left(k, y2, -j \cdot y3\right) \cdot y1\right) \cdot y4 + \left(-{\left(\left(\mathsf{fma}\left(k, y2, \left(-y3\right) \cdot j\right) \cdot y5\right) \cdot y0\right)}^{1}\right)\right)\]
if 1.6451640527347206e-93 < c
1. Initial program 27.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. Using strategy rm
3. Applied sub-neg27.7
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \color{blue}{\left(a \cdot b + \left(-c \cdot i\right)\right)} - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
4. Applied distribute-lft-in27.7
  \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b\right) + \left(x \cdot y - z \cdot t\right) \cdot \left(-c \cdot i\right)\right)} - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
5. Simplified27.6
  \[\leadsto \left(\left(\left(\left(\left(\color{blue}{\left(\left(y \cdot x - t \cdot z\right) \cdot b\right) \cdot a} + \left(x \cdot y - z \cdot t\right) \cdot \left(-c \cdot i\right)\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
6. Simplified27.6
  \[\leadsto \left(\left(\left(\left(\left(\left(\left(y \cdot x - t \cdot z\right) \cdot b\right) \cdot a + \color{blue}{\left(\left(y \cdot x - t \cdot z\right) \cdot \left(-c\right)\right) \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)\]
Recombined 5 regimes into one program.
Final simplification27.3
\[\leadsto \begin{array}{l} \mathbf{if}\;c \le -1.520268482954330987110772716031092954836 \cdot 10^{-5}:\\ \;\;\;\;\left(\left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \sqrt[3]{b \cdot y0 - y1 \cdot i} \cdot \left(\left(\mathsf{fma}\left(x, j, \left(-z\right) \cdot k\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right)\right) + \left(\left(a \cdot \left(-\mathsf{fma}\left(y3, -z, y2 \cdot x\right)\right)\right) \cdot y1 + c \cdot \left(y0 \cdot \mathsf{fma}\left(y3, -z, y2 \cdot x\right)\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(\left(-\left(y5 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right) \cdot y0\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right)\\ \mathbf{elif}\;c \le -5.44363240207917693445236565463199493789 \cdot 10^{-107}:\\ \;\;\;\;\left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\ \mathbf{elif}\;c \le -1.658966746623872396328249367245659401154 \cdot 10^{-170}:\\ \;\;\;\;\left(\mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right) \cdot \left(\left(-y0\right) \cdot y5\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right) + \left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(z \cdot \left(\left(t \cdot i\right) \cdot c\right) - \mathsf{fma}\left(t \cdot a, b \cdot z, x \cdot \left(i \cdot \left(y \cdot c\right)\right)\right)\right) - \left(b \cdot y0 - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;c \le 1.645164052734720604978390583791993656403 \cdot 10^{-93}:\\ \;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(\sqrt[3]{\sqrt[3]{b \cdot y0 - y1 \cdot i}} \cdot \sqrt[3]{\sqrt[3]{b \cdot y0 - y1 \cdot i} \cdot \sqrt[3]{b \cdot y0 - y1 \cdot i}}\right) \cdot \left(\left(\mathsf{fma}\left(x, j, \left(-z\right) \cdot k\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right) \cdot \sqrt[3]{\mathsf{fma}\left(b, y0, i \cdot \left(-y1\right)\right)}\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(\left(-\left(y5 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right) \cdot y0\right) + y4 \cdot \left(y1 \cdot \mathsf{fma}\left(k, y2, y3 \cdot \left(-j\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(\left(\left(-i\right) \cdot \left(c \cdot \left(x \cdot y - t \cdot z\right)\right) + \left(b \cdot \left(x \cdot y - t \cdot z\right)\right) \cdot a\right) - \left(b \cdot y0 - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\ \end{array}\]

Error

Derivation

`if c < -1.520268482954331e-05`

`if -1.520268482954331e-05 < c < -5.443632402079177e-107`

`if -5.443632402079177e-107 < c < -1.6589667466238724e-170`

`if -1.6589667466238724e-170 < c < 1.6451640527347206e-93`

`if 1.6451640527347206e-93 < c`

Reproduce