\[\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}\;y0 \le -4.068069043164758466464223517369719494812 \cdot 10^{108}:\\ \;\;\;\;\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(y0 \cdot \left(y3 \cdot \left(j \cdot y5\right) - y2 \cdot \left(k \cdot y5\right)\right) - y1 \cdot \left(y3 \cdot \left(j \cdot y4\right)\right)\right)\\ \mathbf{elif}\;y0 \le -8.936317575726448316777984607128570164333 \cdot 10^{-124}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right) + \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 y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\ \mathbf{elif}\;y0 \le -8.319160383338328702726207391240920542404 \cdot 10^{-248}:\\ \;\;\;\;\left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right) + \left(\left(\left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(-c \cdot i\right) + b \cdot \left(\left(x \cdot y - z \cdot t\right) \cdot a\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)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\ \mathbf{elif}\;y0 \le 5.351643813227153765452406510768537260844 \cdot 10^{-249}:\\ \;\;\;\;\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(k \cdot \left(i \cdot \left(y \cdot y5\right)\right) - \left(t \cdot \left(i \cdot \left(j \cdot y5\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b\right) + \left(\left(x \cdot y - z \cdot t\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\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}\;y0 \le -4.068069043164758466464223517369719494812 \cdot 10^{108}:\\
\;\;\;\;\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(y0 \cdot \left(y3 \cdot \left(j \cdot y5\right) - y2 \cdot \left(k \cdot y5\right)\right) - y1 \cdot \left(y3 \cdot \left(j \cdot y4\right)\right)\right)\\

\mathbf{elif}\;y0 \le -8.936317575726448316777984607128570164333 \cdot 10^{-124}:\\
\;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right) + \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 y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\

\mathbf{elif}\;y0 \le -8.319160383338328702726207391240920542404 \cdot 10^{-248}:\\
\;\;\;\;\left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right) + \left(\left(\left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(-c \cdot i\right) + b \cdot \left(\left(x \cdot y - z \cdot t\right) \cdot a\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)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\

\mathbf{elif}\;y0 \le 5.351643813227153765452406510768537260844 \cdot 10^{-249}:\\
\;\;\;\;\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(k \cdot \left(i \cdot \left(y \cdot y5\right)\right) - \left(t \cdot \left(i \cdot \left(j \cdot y5\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\\

\mathbf{else}:\\
\;\;\;\;\left(\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b\right) + \left(\left(x \cdot y - z \cdot t\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\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 r173191 = x;
        double r173192 = y;
        double r173193 = r173191 * r173192;
        double r173194 = z;
        double r173195 = t;
        double r173196 = r173194 * r173195;
        double r173197 = r173193 - r173196;
        double r173198 = a;
        double r173199 = b;
        double r173200 = r173198 * r173199;
        double r173201 = c;
        double r173202 = i;
        double r173203 = r173201 * r173202;
        double r173204 = r173200 - r173203;
        double r173205 = r173197 * r173204;
        double r173206 = j;
        double r173207 = r173191 * r173206;
        double r173208 = k;
        double r173209 = r173194 * r173208;
        double r173210 = r173207 - r173209;
        double r173211 = y0;
        double r173212 = r173211 * r173199;
        double r173213 = y1;
        double r173214 = r173213 * r173202;
        double r173215 = r173212 - r173214;
        double r173216 = r173210 * r173215;
        double r173217 = r173205 - r173216;
        double r173218 = y2;
        double r173219 = r173191 * r173218;
        double r173220 = y3;
        double r173221 = r173194 * r173220;
        double r173222 = r173219 - r173221;
        double r173223 = r173211 * r173201;
        double r173224 = r173213 * r173198;
        double r173225 = r173223 - r173224;
        double r173226 = r173222 * r173225;
        double r173227 = r173217 + r173226;
        double r173228 = r173195 * r173206;
        double r173229 = r173192 * r173208;
        double r173230 = r173228 - r173229;
        double r173231 = y4;
        double r173232 = r173231 * r173199;
        double r173233 = y5;
        double r173234 = r173233 * r173202;
        double r173235 = r173232 - r173234;
        double r173236 = r173230 * r173235;
        double r173237 = r173227 + r173236;
        double r173238 = r173195 * r173218;
        double r173239 = r173192 * r173220;
        double r173240 = r173238 - r173239;
        double r173241 = r173231 * r173201;
        double r173242 = r173233 * r173198;
        double r173243 = r173241 - r173242;
        double r173244 = r173240 * r173243;
        double r173245 = r173237 - r173244;
        double r173246 = r173208 * r173218;
        double r173247 = r173206 * r173220;
        double r173248 = r173246 - r173247;
        double r173249 = r173231 * r173213;
        double r173250 = r173233 * r173211;
        double r173251 = r173249 - r173250;
        double r173252 = r173248 * r173251;
        double r173253 = r173245 + r173252;
        return r173253;
}

↓

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 r173254 = y0;
        double r173255 = -4.0680690431647585e+108;
        bool r173256 = r173254 <= r173255;
        double r173257 = x;
        double r173258 = y;
        double r173259 = r173257 * r173258;
        double r173260 = z;
        double r173261 = t;
        double r173262 = r173260 * r173261;
        double r173263 = r173259 - r173262;
        double r173264 = a;
        double r173265 = b;
        double r173266 = r173264 * r173265;
        double r173267 = c;
        double r173268 = i;
        double r173269 = r173267 * r173268;
        double r173270 = r173266 - r173269;
        double r173271 = r173263 * r173270;
        double r173272 = j;
        double r173273 = r173257 * r173272;
        double r173274 = k;
        double r173275 = r173260 * r173274;
        double r173276 = r173273 - r173275;
        double r173277 = r173254 * r173265;
        double r173278 = y1;
        double r173279 = r173278 * r173268;
        double r173280 = r173277 - r173279;
        double r173281 = r173276 * r173280;
        double r173282 = r173271 - r173281;
        double r173283 = y2;
        double r173284 = r173257 * r173283;
        double r173285 = y3;
        double r173286 = r173260 * r173285;
        double r173287 = r173284 - r173286;
        double r173288 = r173254 * r173267;
        double r173289 = r173278 * r173264;
        double r173290 = r173288 - r173289;
        double r173291 = r173287 * r173290;
        double r173292 = r173282 + r173291;
        double r173293 = r173261 * r173272;
        double r173294 = r173258 * r173274;
        double r173295 = r173293 - r173294;
        double r173296 = y4;
        double r173297 = r173296 * r173265;
        double r173298 = y5;
        double r173299 = r173298 * r173268;
        double r173300 = r173297 - r173299;
        double r173301 = r173295 * r173300;
        double r173302 = r173292 + r173301;
        double r173303 = r173261 * r173283;
        double r173304 = r173258 * r173285;
        double r173305 = r173303 - r173304;
        double r173306 = r173296 * r173267;
        double r173307 = r173298 * r173264;
        double r173308 = r173306 - r173307;
        double r173309 = r173305 * r173308;
        double r173310 = r173302 - r173309;
        double r173311 = r173272 * r173298;
        double r173312 = r173285 * r173311;
        double r173313 = r173274 * r173298;
        double r173314 = r173283 * r173313;
        double r173315 = r173312 - r173314;
        double r173316 = r173254 * r173315;
        double r173317 = r173272 * r173296;
        double r173318 = r173285 * r173317;
        double r173319 = r173278 * r173318;
        double r173320 = r173316 - r173319;
        double r173321 = r173310 + r173320;
        double r173322 = -8.936317575726448e-124;
        bool r173323 = r173254 <= r173322;
        double r173324 = r173274 * r173283;
        double r173325 = r173272 * r173285;
        double r173326 = r173324 - r173325;
        double r173327 = r173296 * r173278;
        double r173328 = r173298 * r173254;
        double r173329 = r173327 - r173328;
        double r173330 = r173326 * r173329;
        double r173331 = r173292 - r173309;
        double r173332 = r173330 + r173331;
        double r173333 = -8.319160383338329e-248;
        bool r173334 = r173254 <= r173333;
        double r173335 = cbrt(r173326);
        double r173336 = r173335 * r173335;
        double r173337 = r173335 * r173329;
        double r173338 = r173336 * r173337;
        double r173339 = -r173269;
        double r173340 = r173263 * r173339;
        double r173341 = r173263 * r173264;
        double r173342 = r173265 * r173341;
        double r173343 = r173340 + r173342;
        double r173344 = r173343 - r173281;
        double r173345 = r173344 + r173291;
        double r173346 = r173301 + r173345;
        double r173347 = r173346 - r173309;
        double r173348 = r173338 + r173347;
        double r173349 = 5.351643813227154e-249;
        bool r173350 = r173254 <= r173349;
        double r173351 = r173258 * r173298;
        double r173352 = r173268 * r173351;
        double r173353 = r173274 * r173352;
        double r173354 = r173268 * r173311;
        double r173355 = r173261 * r173354;
        double r173356 = r173258 * r173265;
        double r173357 = r173296 * r173356;
        double r173358 = r173274 * r173357;
        double r173359 = r173355 + r173358;
        double r173360 = r173353 - r173359;
        double r173361 = r173292 + r173360;
        double r173362 = r173361 - r173309;
        double r173363 = r173362 + r173330;
        double r173364 = r173263 * r173266;
        double r173365 = -r173267;
        double r173366 = r173263 * r173365;
        double r173367 = r173366 * r173268;
        double r173368 = r173364 + r173367;
        double r173369 = r173368 - r173281;
        double r173370 = r173369 + r173291;
        double r173371 = r173370 + r173301;
        double r173372 = r173371 - r173309;
        double r173373 = r173372 + r173338;
        double r173374 = r173350 ? r173363 : r173373;
        double r173375 = r173334 ? r173348 : r173374;
        double r173376 = r173323 ? r173332 : r173375;
        double r173377 = r173256 ? r173321 : r173376;
        return r173377;
}

Derivation

Split input into 5 regimes
if y0 < -4.0680690431647585e+108
1. Initial program 32.3
  \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
2. Taylor expanded around inf 30.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(y0 \cdot \left(y3 \cdot \left(j \cdot y5\right)\right) - \left(y0 \cdot \left(y2 \cdot \left(k \cdot y5\right)\right) + y1 \cdot \left(y3 \cdot \left(j \cdot y4\right)\right)\right)\right)}\]
3. Simplified30.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(y0 \cdot \left(y3 \cdot \left(j \cdot y5\right) - y2 \cdot \left(k \cdot y5\right)\right) - y1 \cdot \left(y3 \cdot \left(j \cdot y4\right)\right)\right)}\]
if -4.0680690431647585e+108 < y0 < -8.936317575726448e-124
1. Initial program 24.5
  \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
2. Taylor expanded around 0 29.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) + \color{blue}{0}\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
if -8.936317575726448e-124 < y0 < -8.319160383338329e-248
1. Initial program 26.0
  \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
2. Using strategy rm
3. Applied add-cube-cbrt26.1
  \[\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right)} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
4. Applied associate-*l*26.1
  \[\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)}\]
5. Using strategy rm
6. Applied sub-neg26.1
  \[\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
7. Applied distribute-lft-in26.1
  \[\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
8. Using strategy rm
9. Applied pow126.1
  \[\leadsto \left(\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot \color{blue}{{b}^{1}}\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
10. Applied pow126.1
  \[\leadsto \left(\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(\color{blue}{{a}^{1}} \cdot {b}^{1}\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
11. Applied pow-prod-down26.1
  \[\leadsto \left(\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \color{blue}{{\left(a \cdot b\right)}^{1}} + \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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
12. Applied pow126.1
  \[\leadsto \left(\left(\left(\left(\left(\color{blue}{{\left(x \cdot y - z \cdot t\right)}^{1}} \cdot {\left(a \cdot b\right)}^{1} + \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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
13. Applied pow-prod-down26.1
  \[\leadsto \left(\left(\left(\left(\left(\color{blue}{{\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b\right)\right)}^{1}} + \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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
14. Simplified25.8
  \[\leadsto \left(\left(\left(\left(\left({\color{blue}{\left(b \cdot \left(\left(x \cdot y - z \cdot t\right) \cdot a\right)\right)}}^{1} + \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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
if -8.319160383338329e-248 < y0 < 5.351643813227154e-249
1. Initial program 27.8
  \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
2. Taylor expanded around inf 32.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) + \color{blue}{\left(k \cdot \left(i \cdot \left(y \cdot y5\right)\right) - \left(t \cdot \left(i \cdot \left(j \cdot y5\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)}\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
if 5.351643813227154e-249 < y0
1. Initial program 26.5
  \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
2. Using strategy rm
3. Applied add-cube-cbrt26.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(\left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right)} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
4. Applied associate-*l*26.6
  \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)}\]
5. Using strategy rm
6. Applied sub-neg26.6
  \[\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
7. Applied distribute-lft-in26.6
  \[\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
8. Using strategy rm
9. Applied distribute-lft-neg-in26.6
  \[\leadsto \left(\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b\right) + \left(x \cdot y - z \cdot t\right) \cdot \color{blue}{\left(\left(-c\right) \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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
10. Applied associate-*r*27.0
  \[\leadsto \left(\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b\right) + \color{blue}{\left(\left(x \cdot y - z \cdot t\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\]
Recombined 5 regimes into one program.
Final simplification28.4
\[\leadsto \begin{array}{l} \mathbf{if}\;y0 \le -4.068069043164758466464223517369719494812 \cdot 10^{108}:\\ \;\;\;\;\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(y0 \cdot \left(y3 \cdot \left(j \cdot y5\right) - y2 \cdot \left(k \cdot y5\right)\right) - y1 \cdot \left(y3 \cdot \left(j \cdot y4\right)\right)\right)\\ \mathbf{elif}\;y0 \le -8.936317575726448316777984607128570164333 \cdot 10^{-124}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right) + \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 y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\ \mathbf{elif}\;y0 \le -8.319160383338328702726207391240920542404 \cdot 10^{-248}:\\ \;\;\;\;\left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right) + \left(\left(\left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) + \left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(-c \cdot i\right) + b \cdot \left(\left(x \cdot y - z \cdot t\right) \cdot a\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)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\ \mathbf{elif}\;y0 \le 5.351643813227153765452406510768537260844 \cdot 10^{-249}:\\ \;\;\;\;\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(k \cdot \left(i \cdot \left(y \cdot y5\right)\right) - \left(t \cdot \left(i \cdot \left(j \cdot y5\right)\right) + k \cdot \left(y4 \cdot \left(y \cdot b\right)\right)\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b\right) + \left(\left(x \cdot y - z \cdot t\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(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \sqrt[3]{k \cdot y2 - j \cdot y3}\right) \cdot \left(\sqrt[3]{k \cdot y2 - j \cdot y3} \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\\ \end{array}\]

Error

Try it out

Derivation

`if y0 < -4.0680690431647585e+108`

`if -4.0680690431647585e+108 < y0 < -8.936317575726448e-124`

`if -8.936317575726448e-124 < y0 < -8.319160383338329e-248`

`if -8.319160383338329e-248 < y0 < 5.351643813227154e-249`

`if 5.351643813227154e-249 < y0`

Reproduce

In
Out