\[\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)\]
\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)
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 r30509422 = x;
double r30509423 = y;
double r30509424 = r30509422 * r30509423;
double r30509425 = z;
double r30509426 = t;
double r30509427 = r30509425 * r30509426;
double r30509428 = r30509424 - r30509427;
double r30509429 = a;
double r30509430 = b;
double r30509431 = r30509429 * r30509430;
double r30509432 = c;
double r30509433 = i;
double r30509434 = r30509432 * r30509433;
double r30509435 = r30509431 - r30509434;
double r30509436 = r30509428 * r30509435;
double r30509437 = j;
double r30509438 = r30509422 * r30509437;
double r30509439 = k;
double r30509440 = r30509425 * r30509439;
double r30509441 = r30509438 - r30509440;
double r30509442 = y0;
double r30509443 = r30509442 * r30509430;
double r30509444 = y1;
double r30509445 = r30509444 * r30509433;
double r30509446 = r30509443 - r30509445;
double r30509447 = r30509441 * r30509446;
double r30509448 = r30509436 - r30509447;
double r30509449 = y2;
double r30509450 = r30509422 * r30509449;
double r30509451 = y3;
double r30509452 = r30509425 * r30509451;
double r30509453 = r30509450 - r30509452;
double r30509454 = r30509442 * r30509432;
double r30509455 = r30509444 * r30509429;
double r30509456 = r30509454 - r30509455;
double r30509457 = r30509453 * r30509456;
double r30509458 = r30509448 + r30509457;
double r30509459 = r30509426 * r30509437;
double r30509460 = r30509423 * r30509439;
double r30509461 = r30509459 - r30509460;
double r30509462 = y4;
double r30509463 = r30509462 * r30509430;
double r30509464 = y5;
double r30509465 = r30509464 * r30509433;
double r30509466 = r30509463 - r30509465;
double r30509467 = r30509461 * r30509466;
double r30509468 = r30509458 + r30509467;
double r30509469 = r30509426 * r30509449;
double r30509470 = r30509423 * r30509451;
double r30509471 = r30509469 - r30509470;
double r30509472 = r30509462 * r30509432;
double r30509473 = r30509464 * r30509429;
double r30509474 = r30509472 - r30509473;
double r30509475 = r30509471 * r30509474;
double r30509476 = r30509468 - r30509475;
double r30509477 = r30509439 * r30509449;
double r30509478 = r30509437 * r30509451;
double r30509479 = r30509477 - r30509478;
double r30509480 = r30509462 * r30509444;
double r30509481 = r30509464 * r30509442;
double r30509482 = r30509480 - r30509481;
double r30509483 = r30509479 * r30509482;
double r30509484 = r30509476 + r30509483;
return r30509484;
}