\[\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 r139057 = x;
        double r139058 = y;
        double r139059 = r139057 * r139058;
        double r139060 = z;
        double r139061 = t;
        double r139062 = r139060 * r139061;
        double r139063 = r139059 - r139062;
        double r139064 = a;
        double r139065 = b;
        double r139066 = r139064 * r139065;
        double r139067 = c;
        double r139068 = i;
        double r139069 = r139067 * r139068;
        double r139070 = r139066 - r139069;
        double r139071 = r139063 * r139070;
        double r139072 = j;
        double r139073 = r139057 * r139072;
        double r139074 = k;
        double r139075 = r139060 * r139074;
        double r139076 = r139073 - r139075;
        double r139077 = y0;
        double r139078 = r139077 * r139065;
        double r139079 = y1;
        double r139080 = r139079 * r139068;
        double r139081 = r139078 - r139080;
        double r139082 = r139076 * r139081;
        double r139083 = r139071 - r139082;
        double r139084 = y2;
        double r139085 = r139057 * r139084;
        double r139086 = y3;
        double r139087 = r139060 * r139086;
        double r139088 = r139085 - r139087;
        double r139089 = r139077 * r139067;
        double r139090 = r139079 * r139064;
        double r139091 = r139089 - r139090;
        double r139092 = r139088 * r139091;
        double r139093 = r139083 + r139092;
        double r139094 = r139061 * r139072;
        double r139095 = r139058 * r139074;
        double r139096 = r139094 - r139095;
        double r139097 = y4;
        double r139098 = r139097 * r139065;
        double r139099 = y5;
        double r139100 = r139099 * r139068;
        double r139101 = r139098 - r139100;
        double r139102 = r139096 * r139101;
        double r139103 = r139093 + r139102;
        double r139104 = r139061 * r139084;
        double r139105 = r139058 * r139086;
        double r139106 = r139104 - r139105;
        double r139107 = r139097 * r139067;
        double r139108 = r139099 * r139064;
        double r139109 = r139107 - r139108;
        double r139110 = r139106 * r139109;
        double r139111 = r139103 - r139110;
        double r139112 = r139074 * r139084;
        double r139113 = r139072 * r139086;
        double r139114 = r139112 - r139113;
        double r139115 = r139097 * r139079;
        double r139116 = r139099 * r139077;
        double r139117 = r139115 - r139116;
        double r139118 = r139114 * r139117;
        double r139119 = r139111 + r139118;
        return r139119;
}

↓

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 r139120 = c;
        double r139121 = -1.520268482954331e-05;
        bool r139122 = r139120 <= r139121;
        double r139123 = x;
        double r139124 = y;
        double r139125 = r139123 * r139124;
        double r139126 = t;
        double r139127 = z;
        double r139128 = r139126 * r139127;
        double r139129 = r139125 - r139128;
        double r139130 = a;
        double r139131 = b;
        double r139132 = r139130 * r139131;
        double r139133 = i;
        double r139134 = r139133 * r139120;
        double r139135 = r139132 - r139134;
        double r139136 = r139129 * r139135;
        double r139137 = y0;
        double r139138 = r139131 * r139137;
        double r139139 = y1;
        double r139140 = r139139 * r139133;
        double r139141 = r139138 - r139140;
        double r139142 = cbrt(r139141);
        double r139143 = j;
        double r139144 = -r139127;
        double r139145 = k;
        double r139146 = r139144 * r139145;
        double r139147 = fma(r139123, r139143, r139146);
        double r139148 = -r139139;
        double r139149 = r139133 * r139148;
        double r139150 = fma(r139131, r139137, r139149);
        double r139151 = cbrt(r139150);
        double r139152 = r139147 * r139151;
        double r139153 = r139152 * r139151;
        double r139154 = r139142 * r139153;
        double r139155 = r139136 - r139154;
        double r139156 = y3;
        double r139157 = y2;
        double r139158 = r139157 * r139123;
        double r139159 = fma(r139156, r139144, r139158);
        double r139160 = -r139159;
        double r139161 = r139130 * r139160;
        double r139162 = r139161 * r139139;
        double r139163 = r139137 * r139159;
        double r139164 = r139120 * r139163;
        double r139165 = r139162 + r139164;
        double r139166 = r139155 + r139165;
        double r139167 = r139143 * r139126;
        double r139168 = r139124 * r139145;
        double r139169 = r139167 - r139168;
        double r139170 = y4;
        double r139171 = r139170 * r139131;
        double r139172 = y5;
        double r139173 = r139172 * r139133;
        double r139174 = r139171 - r139173;
        double r139175 = r139169 * r139174;
        double r139176 = r139166 + r139175;
        double r139177 = r139120 * r139170;
        double r139178 = r139130 * r139172;
        double r139179 = r139177 - r139178;
        double r139180 = r139126 * r139157;
        double r139181 = r139124 * r139156;
        double r139182 = r139180 - r139181;
        double r139183 = r139179 * r139182;
        double r139184 = r139176 - r139183;
        double r139185 = -r139143;
        double r139186 = r139156 * r139185;
        double r139187 = fma(r139145, r139157, r139186);
        double r139188 = r139172 * r139187;
        double r139189 = r139188 * r139137;
        double r139190 = -r139189;
        double r139191 = r139139 * r139187;
        double r139192 = r139170 * r139191;
        double r139193 = r139190 + r139192;
        double r139194 = r139184 + r139193;
        double r139195 = -5.443632402079177e-107;
        bool r139196 = r139120 <= r139195;
        double r139197 = r139120 * r139137;
        double r139198 = r139139 * r139130;
        double r139199 = r139197 - r139198;
        double r139200 = r139156 * r139127;
        double r139201 = r139158 - r139200;
        double r139202 = r139199 * r139201;
        double r139203 = r139136 + r139202;
        double r139204 = r139203 + r139175;
        double r139205 = r139204 - r139183;
        double r139206 = r139157 * r139145;
        double r139207 = r139156 * r139143;
        double r139208 = r139206 - r139207;
        double r139209 = r139139 * r139170;
        double r139210 = r139172 * r139137;
        double r139211 = r139209 - r139210;
        double r139212 = r139208 * r139211;
        double r139213 = r139205 + r139212;
        double r139214 = -1.6589667466238724e-170;
        bool r139215 = r139120 <= r139214;
        double r139216 = -r139137;
        double r139217 = r139216 * r139172;
        double r139218 = r139187 * r139217;
        double r139219 = r139218 + r139192;
        double r139220 = r139126 * r139133;
        double r139221 = r139220 * r139120;
        double r139222 = r139127 * r139221;
        double r139223 = r139126 * r139130;
        double r139224 = r139131 * r139127;
        double r139225 = r139124 * r139120;
        double r139226 = r139133 * r139225;
        double r139227 = r139123 * r139226;
        double r139228 = fma(r139223, r139224, r139227);
        double r139229 = r139222 - r139228;
        double r139230 = r139123 * r139143;
        double r139231 = r139127 * r139145;
        double r139232 = r139230 - r139231;
        double r139233 = r139141 * r139232;
        double r139234 = r139229 - r139233;
        double r139235 = r139234 + r139202;
        double r139236 = r139175 + r139235;
        double r139237 = r139236 - r139183;
        double r139238 = r139219 + r139237;
        double r139239 = 1.6451640527347206e-93;
        bool r139240 = r139120 <= r139239;
        double r139241 = cbrt(r139142);
        double r139242 = r139142 * r139142;
        double r139243 = cbrt(r139242);
        double r139244 = r139241 * r139243;
        double r139245 = r139244 * r139153;
        double r139246 = r139136 - r139245;
        double r139247 = r139246 + r139202;
        double r139248 = r139175 + r139247;
        double r139249 = r139248 - r139183;
        double r139250 = r139249 + r139193;
        double r139251 = -r139133;
        double r139252 = r139120 * r139129;
        double r139253 = r139251 * r139252;
        double r139254 = r139131 * r139129;
        double r139255 = r139254 * r139130;
        double r139256 = r139253 + r139255;
        double r139257 = r139256 - r139233;
        double r139258 = r139257 + r139202;
        double r139259 = r139258 + r139175;
        double r139260 = r139259 - r139183;
        double r139261 = r139260 + r139212;
        double r139262 = r139240 ? r139250 : r139261;
        double r139263 = r139215 ? r139238 : r139262;
        double r139264 = r139196 ? r139213 : r139263;
        double r139265 = r139122 ? r139194 : r139264;
        return r139265;
}

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