Average Error: 27.1 → 29.9
Time: 1.8m
Precision: 64
\[\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}\;y1 \le -1.309758891052280498716406810077311773099 \cdot 10^{-9}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;y1 \le -1.578588831053438660238860509236106750755 \cdot 10^{-193}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;y1 \le 3.319955438300563917284092647669219756099 \cdot 10^{-126}:\\ \;\;\;\;\left(\left(\left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\sqrt[3]{\left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)} \cdot \left(\sqrt[3]{\left(\sqrt[3]{x \cdot y2 - z \cdot y3} \cdot \sqrt[3]{x \cdot y2 - z \cdot y3}\right) \cdot \left(\sqrt[3]{x \cdot y2 - z \cdot y3} \cdot \left(y0 \cdot c - y1 \cdot a\right)\right)} \cdot \sqrt[3]{\left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)}\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right)\\ \mathbf{elif}\;y1 \le 4.231148877918220037242745768127360946852 \cdot 10^{163}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(a \cdot \left(z \cdot \left(y3 \cdot y1\right) - y2 \cdot \left(x \cdot y1\right)\right) - \left(\left(y0 \cdot y3\right) \cdot c\right) \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right) + \left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;y1 \le 4.364516569456702147005841421481251072076 \cdot 10^{217}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(i \cdot \left(z \cdot \left(y1 \cdot k\right)\right) - \left(k \cdot \left(z \cdot \left(y0 \cdot b\right)\right) + i \cdot \left(\left(x \cdot y1\right) \cdot j\right)\right)\right)\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(a \cdot \left(z \cdot \left(y3 \cdot y1\right) - y2 \cdot \left(x \cdot y1\right)\right) - \left(\left(y0 \cdot y3\right) \cdot c\right) \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right) + \left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\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}\;y1 \le -1.309758891052280498716406810077311773099 \cdot 10^{-9}:\\
\;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\

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

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

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

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

\mathbf{else}:\\
\;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(a \cdot \left(z \cdot \left(y3 \cdot y1\right) - y2 \cdot \left(x \cdot y1\right)\right) - \left(\left(y0 \cdot y3\right) \cdot c\right) \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right) + \left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\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 r30171332 = x;
        double r30171333 = y;
        double r30171334 = r30171332 * r30171333;
        double r30171335 = z;
        double r30171336 = t;
        double r30171337 = r30171335 * r30171336;
        double r30171338 = r30171334 - r30171337;
        double r30171339 = a;
        double r30171340 = b;
        double r30171341 = r30171339 * r30171340;
        double r30171342 = c;
        double r30171343 = i;
        double r30171344 = r30171342 * r30171343;
        double r30171345 = r30171341 - r30171344;
        double r30171346 = r30171338 * r30171345;
        double r30171347 = j;
        double r30171348 = r30171332 * r30171347;
        double r30171349 = k;
        double r30171350 = r30171335 * r30171349;
        double r30171351 = r30171348 - r30171350;
        double r30171352 = y0;
        double r30171353 = r30171352 * r30171340;
        double r30171354 = y1;
        double r30171355 = r30171354 * r30171343;
        double r30171356 = r30171353 - r30171355;
        double r30171357 = r30171351 * r30171356;
        double r30171358 = r30171346 - r30171357;
        double r30171359 = y2;
        double r30171360 = r30171332 * r30171359;
        double r30171361 = y3;
        double r30171362 = r30171335 * r30171361;
        double r30171363 = r30171360 - r30171362;
        double r30171364 = r30171352 * r30171342;
        double r30171365 = r30171354 * r30171339;
        double r30171366 = r30171364 - r30171365;
        double r30171367 = r30171363 * r30171366;
        double r30171368 = r30171358 + r30171367;
        double r30171369 = r30171336 * r30171347;
        double r30171370 = r30171333 * r30171349;
        double r30171371 = r30171369 - r30171370;
        double r30171372 = y4;
        double r30171373 = r30171372 * r30171340;
        double r30171374 = y5;
        double r30171375 = r30171374 * r30171343;
        double r30171376 = r30171373 - r30171375;
        double r30171377 = r30171371 * r30171376;
        double r30171378 = r30171368 + r30171377;
        double r30171379 = r30171336 * r30171359;
        double r30171380 = r30171333 * r30171361;
        double r30171381 = r30171379 - r30171380;
        double r30171382 = r30171372 * r30171342;
        double r30171383 = r30171374 * r30171339;
        double r30171384 = r30171382 - r30171383;
        double r30171385 = r30171381 * r30171384;
        double r30171386 = r30171378 - r30171385;
        double r30171387 = r30171349 * r30171359;
        double r30171388 = r30171347 * r30171361;
        double r30171389 = r30171387 - r30171388;
        double r30171390 = r30171372 * r30171354;
        double r30171391 = r30171374 * r30171352;
        double r30171392 = r30171390 - r30171391;
        double r30171393 = r30171389 * r30171392;
        double r30171394 = r30171386 + r30171393;
        return r30171394;
}
↓
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 r30171395 = y1;
        double r30171396 = -1.3097588910522805e-09;
        bool r30171397 = r30171395 <= r30171396;
        double r30171398 = y4;
        double r30171399 = r30171395 * r30171398;
        double r30171400 = y0;
        double r30171401 = y5;
        double r30171402 = r30171400 * r30171401;
        double r30171403 = r30171399 - r30171402;
        double r30171404 = k;
        double r30171405 = y2;
        double r30171406 = r30171404 * r30171405;
        double r30171407 = y3;
        double r30171408 = j;
        double r30171409 = r30171407 * r30171408;
        double r30171410 = r30171406 - r30171409;
        double r30171411 = r30171403 * r30171410;
        double r30171412 = x;
        double r30171413 = y;
        double r30171414 = r30171412 * r30171413;
        double r30171415 = t;
        double r30171416 = z;
        double r30171417 = r30171415 * r30171416;
        double r30171418 = r30171414 - r30171417;
        double r30171419 = a;
        double r30171420 = b;
        double r30171421 = r30171419 * r30171420;
        double r30171422 = i;
        double r30171423 = c;
        double r30171424 = r30171422 * r30171423;
        double r30171425 = r30171421 - r30171424;
        double r30171426 = r30171418 * r30171425;
        double r30171427 = r30171400 * r30171420;
        double r30171428 = r30171395 * r30171422;
        double r30171429 = r30171427 - r30171428;
        double r30171430 = r30171412 * r30171408;
        double r30171431 = r30171416 * r30171404;
        double r30171432 = r30171430 - r30171431;
        double r30171433 = r30171429 * r30171432;
        double r30171434 = r30171426 - r30171433;
        double r30171435 = r30171400 * r30171423;
        double r30171436 = r30171395 * r30171419;
        double r30171437 = r30171435 - r30171436;
        double r30171438 = r30171412 * r30171405;
        double r30171439 = r30171416 * r30171407;
        double r30171440 = r30171438 - r30171439;
        double r30171441 = r30171437 * r30171440;
        double r30171442 = r30171434 + r30171441;
        double r30171443 = r30171423 * r30171398;
        double r30171444 = r30171401 * r30171419;
        double r30171445 = r30171443 - r30171444;
        double r30171446 = r30171415 * r30171405;
        double r30171447 = r30171413 * r30171407;
        double r30171448 = r30171446 - r30171447;
        double r30171449 = r30171445 * r30171448;
        double r30171450 = r30171442 - r30171449;
        double r30171451 = r30171411 + r30171450;
        double r30171452 = -1.5785888310534387e-193;
        bool r30171453 = r30171395 <= r30171452;
        double r30171454 = r30171398 * r30171420;
        double r30171455 = r30171401 * r30171422;
        double r30171456 = r30171454 - r30171455;
        double r30171457 = r30171415 * r30171408;
        double r30171458 = r30171413 * r30171404;
        double r30171459 = r30171457 - r30171458;
        double r30171460 = r30171456 * r30171459;
        double r30171461 = r30171460 + r30171434;
        double r30171462 = r30171461 - r30171449;
        double r30171463 = r30171411 + r30171462;
        double r30171464 = 3.319955438300564e-126;
        bool r30171465 = r30171395 <= r30171464;
        double r30171466 = cbrt(r30171441);
        double r30171467 = cbrt(r30171440);
        double r30171468 = r30171467 * r30171467;
        double r30171469 = r30171467 * r30171437;
        double r30171470 = r30171468 * r30171469;
        double r30171471 = cbrt(r30171470);
        double r30171472 = r30171471 * r30171466;
        double r30171473 = r30171466 * r30171472;
        double r30171474 = r30171473 + r30171434;
        double r30171475 = r30171460 + r30171474;
        double r30171476 = r30171475 - r30171449;
        double r30171477 = r30171476 + r30171411;
        double r30171478 = 4.23114887791822e+163;
        bool r30171479 = r30171395 <= r30171478;
        double r30171480 = r30171407 * r30171395;
        double r30171481 = r30171416 * r30171480;
        double r30171482 = r30171412 * r30171395;
        double r30171483 = r30171405 * r30171482;
        double r30171484 = r30171481 - r30171483;
        double r30171485 = r30171419 * r30171484;
        double r30171486 = r30171400 * r30171407;
        double r30171487 = r30171486 * r30171423;
        double r30171488 = r30171487 * r30171416;
        double r30171489 = r30171485 - r30171488;
        double r30171490 = r30171489 + r30171434;
        double r30171491 = r30171490 + r30171460;
        double r30171492 = r30171491 - r30171449;
        double r30171493 = r30171411 + r30171492;
        double r30171494 = 4.364516569456702e+217;
        bool r30171495 = r30171395 <= r30171494;
        double r30171496 = r30171395 * r30171404;
        double r30171497 = r30171416 * r30171496;
        double r30171498 = r30171422 * r30171497;
        double r30171499 = r30171416 * r30171427;
        double r30171500 = r30171404 * r30171499;
        double r30171501 = r30171482 * r30171408;
        double r30171502 = r30171422 * r30171501;
        double r30171503 = r30171500 + r30171502;
        double r30171504 = r30171498 - r30171503;
        double r30171505 = r30171426 - r30171504;
        double r30171506 = r30171441 + r30171505;
        double r30171507 = r30171460 + r30171506;
        double r30171508 = r30171507 - r30171449;
        double r30171509 = r30171411 + r30171508;
        double r30171510 = r30171495 ? r30171509 : r30171493;
        double r30171511 = r30171479 ? r30171493 : r30171510;
        double r30171512 = r30171465 ? r30171477 : r30171511;
        double r30171513 = r30171453 ? r30171463 : r30171512;
        double r30171514 = r30171397 ? r30171451 : r30171513;
        return r30171514;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus i

Bits error versus j

Bits error versus k

Bits error versus y0

Bits error versus y1

Bits error versus y2

Bits error versus y3

Bits error versus y4

Bits error versus y5

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original27.1
Target30.7
Herbie29.9
\[\begin{array}{l} \mathbf{if}\;y4 \lt -7.206256231996481342319540724063498925423 \cdot 10^{60}:\\ \;\;\;\;\left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right) - \left(\frac{y2 \cdot t - y3 \cdot y}{\frac{1}{y4 \cdot c - y5 \cdot a}} - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\\ \mathbf{elif}\;y4 \lt -3.364603505246316896676998939327711644754 \cdot 10^{-66}:\\ \;\;\;\;\left(\left(\left(\left(t \cdot c\right) \cdot \left(i \cdot z\right) - \left(a \cdot t\right) \cdot \left(b \cdot z\right)\right) - \left(y \cdot c\right) \cdot \left(i \cdot x\right)\right) - \left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right)\right) + \left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - z \cdot y3\right) - \left(\left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - a \cdot y5\right) - \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\right)\\ \mathbf{elif}\;y4 \lt -1.200006505568611600888263862102883004513 \cdot 10^{-105}:\\ \;\;\;\;\left(\left(\left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) - \left(y3 \cdot y\right) \cdot \left(y5 \cdot a - y4 \cdot c\right)\right) + \left(\left(y5 \cdot a\right) \cdot \left(t \cdot y2\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right) - \left(\left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right) - \left(y \cdot x - z \cdot t\right) \cdot \left(b \cdot a - i \cdot c\right)\right)\right)\\ \mathbf{elif}\;y4 \lt 6.718963124057494636349617318198742025856 \cdot 10^{-279}:\\ \;\;\;\;\left(\left(\left(\left(k \cdot y\right) \cdot \left(y5 \cdot i\right) - \left(y \cdot b\right) \cdot \left(y4 \cdot k\right)\right) - \left(y5 \cdot t\right) \cdot \left(i \cdot j\right)\right) - \left(\left(y2 \cdot t - y3 \cdot y\right) \cdot \left(y4 \cdot c - y5 \cdot a\right) - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(y2 \cdot x - y3 \cdot z\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right)\\ \mathbf{elif}\;y4 \lt 4.779626814037919873410686589412258835104 \cdot 10^{-222}:\\ \;\;\;\;\left(\left(\left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) - \left(y3 \cdot y\right) \cdot \left(y5 \cdot a - y4 \cdot c\right)\right) + \left(\left(y5 \cdot a\right) \cdot \left(t \cdot y2\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right) - \left(\left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right) - \left(y \cdot x - z \cdot t\right) \cdot \left(b \cdot a - i \cdot c\right)\right)\right)\\ \mathbf{elif}\;y4 \lt 2.285224154126683459205023499639872822811 \cdot 10^{-175}:\\ \;\;\;\;\left(\left(\left(\left(k \cdot y\right) \cdot \left(y5 \cdot i\right) - \left(y \cdot b\right) \cdot \left(y4 \cdot k\right)\right) - \left(y5 \cdot t\right) \cdot \left(i \cdot j\right)\right) - \left(\left(y2 \cdot t - y3 \cdot y\right) \cdot \left(y4 \cdot c - y5 \cdot a\right) - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(y2 \cdot x - y3 \cdot z\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(k \cdot \left(i \cdot \left(z \cdot y1\right)\right) - \left(j \cdot \left(i \cdot \left(x \cdot y1\right)\right) + y0 \cdot \left(k \cdot \left(z \cdot b\right)\right)\right)\right)\right) + \left(z \cdot \left(y3 \cdot \left(a \cdot y1\right)\right) - \left(y2 \cdot \left(x \cdot \left(a \cdot y1\right)\right) + y0 \cdot \left(z \cdot \left(c \cdot y3\right)\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(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\\ \end{array}\]

Derivation

  1. Split input into 5 regimes

  2. if y1 < -1.3097588910522805e-09

    1. Initial program 28.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 0 31.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 \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 -1.3097588910522805e-09 < y1 < -1.5785888310534387e-193

    1. Initial program 25.1

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

    2. Taylor expanded around 0 30.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) + \color{blue}{0}\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 -1.5785888310534387e-193 < y1 < 3.319955438300564e-126

    1. Initial program 26.9

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

    3. Applied add-cube-cbrt27.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) + \color{blue}{\left(\sqrt[3]{\left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)} \cdot \sqrt[3]{\left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)}\right) \cdot \sqrt[3]{\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. Using strategy rm

    5. Applied add-cube-cbrt27.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(\sqrt[3]{\left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)} \cdot \sqrt[3]{\color{blue}{\left(\left(\sqrt[3]{x \cdot y2 - z \cdot y3} \cdot \sqrt[3]{x \cdot y2 - z \cdot y3}\right) \cdot \sqrt[3]{x \cdot y2 - z \cdot y3}\right)} \cdot \left(y0 \cdot c - y1 \cdot a\right)}\right) \cdot \sqrt[3]{\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. Applied associate-*l*27.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(\sqrt[3]{\left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)} \cdot \sqrt[3]{\color{blue}{\left(\sqrt[3]{x \cdot y2 - z \cdot y3} \cdot \sqrt[3]{x \cdot y2 - z \cdot y3}\right) \cdot \left(\sqrt[3]{x \cdot y2 - z \cdot y3} \cdot \left(y0 \cdot c - y1 \cdot a\right)\right)}}\right) \cdot \sqrt[3]{\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 3.319955438300564e-126 < y1 < 4.23114887791822e+163 or 4.364516569456702e+217 < y1

    1. Initial program 26.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. Taylor expanded around inf 30.9

      \[\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) + \color{blue}{\left(a \cdot \left(y3 \cdot \left(y1 \cdot z\right)\right) - \left(a \cdot \left(x \cdot \left(y2 \cdot y1\right)\right) + c \cdot \left(z \cdot \left(y3 \cdot y0\right)\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(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    3. Simplified30.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) + \color{blue}{\left(a \cdot \left(z \cdot \left(y3 \cdot y1\right) - \left(x \cdot y1\right) \cdot y2\right) - z \cdot \left(\left(y0 \cdot y3\right) \cdot c\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(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    if 4.23114887791822e+163 < y1 < 4.364516569456702e+217

    1. Initial program 34.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 inf 42.6

      \[\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(i \cdot \left(z \cdot \left(y1 \cdot k\right)\right) - \left(k \cdot \left(z \cdot \left(b \cdot y0\right)\right) + i \cdot \left(j \cdot \left(x \cdot y1\right)\right)\right)\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)\]
  3. Recombined 5 regimes into one program.

  4. Final simplification29.9

    \[\leadsto \begin{array}{l} \mathbf{if}\;y1 \le -1.309758891052280498716406810077311773099 \cdot 10^{-9}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;y1 \le -1.578588831053438660238860509236106750755 \cdot 10^{-193}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;y1 \le 3.319955438300563917284092647669219756099 \cdot 10^{-126}:\\ \;\;\;\;\left(\left(\left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\sqrt[3]{\left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)} \cdot \left(\sqrt[3]{\left(\sqrt[3]{x \cdot y2 - z \cdot y3} \cdot \sqrt[3]{x \cdot y2 - z \cdot y3}\right) \cdot \left(\sqrt[3]{x \cdot y2 - z \cdot y3} \cdot \left(y0 \cdot c - y1 \cdot a\right)\right)} \cdot \sqrt[3]{\left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)}\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right)\\ \mathbf{elif}\;y1 \le 4.231148877918220037242745768127360946852 \cdot 10^{163}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(a \cdot \left(z \cdot \left(y3 \cdot y1\right) - y2 \cdot \left(x \cdot y1\right)\right) - \left(\left(y0 \cdot y3\right) \cdot c\right) \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right) + \left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;y1 \le 4.364516569456702147005841421481251072076 \cdot 10^{217}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(y0 \cdot c - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(i \cdot \left(z \cdot \left(y1 \cdot k\right)\right) - \left(k \cdot \left(z \cdot \left(y0 \cdot b\right)\right) + i \cdot \left(\left(x \cdot y1\right) \cdot j\right)\right)\right)\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(y1 \cdot y4 - y0 \cdot y5\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(a \cdot \left(z \cdot \left(y3 \cdot y1\right) - y2 \cdot \left(x \cdot y1\right)\right) - \left(\left(y0 \cdot y3\right) \cdot c\right) \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(x \cdot j - z \cdot k\right)\right)\right) + \left(y4 \cdot b - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \end{array}\]

Reproduce

herbie shell --seed 2019172 
(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
  :name "Linear.Matrix:det44 from linear-1.19.1.3"

  :herbie-target
  (if (< y4 -7.206256231996481e+60) (- (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))))) (- (/ (- (* y2 t) (* y3 y)) (/ 1.0 (- (* y4 c) (* y5 a)))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (if (< y4 -3.364603505246317e-66) (+ (- (- (- (* (* t c) (* i z)) (* (* a t) (* b z))) (* (* y c) (* i x))) (* (- (* b y0) (* i y1)) (- (* j x) (* k z)))) (- (* (- (* y0 c) (* a y1)) (- (* x y2) (* z y3))) (- (* (- (* t y2) (* y y3)) (- (* y4 c) (* a y5))) (* (- (* y1 y4) (* y5 y0)) (- (* k y2) (* j y3)))))) (if (< y4 -1.2000065055686116e-105) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 6.718963124057495e-279) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (if (< y4 4.77962681403792e-222) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 2.2852241541266835e-175) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (- (* k (* i (* z y1))) (+ (* j (* i (* x y1))) (* y0 (* k (* z b)))))) (- (* z (* y3 (* a y1))) (+ (* y2 (* x (* a y1))) (* y0 (* z (* c y3)))))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))))))))

  (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))))