\[\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 r5666479 = x;
double r5666480 = y;
double r5666481 = r5666479 * r5666480;
double r5666482 = z;
double r5666483 = t;
double r5666484 = r5666482 * r5666483;
double r5666485 = r5666481 - r5666484;
double r5666486 = a;
double r5666487 = b;
double r5666488 = r5666486 * r5666487;
double r5666489 = c;
double r5666490 = i;
double r5666491 = r5666489 * r5666490;
double r5666492 = r5666488 - r5666491;
double r5666493 = r5666485 * r5666492;
double r5666494 = j;
double r5666495 = r5666479 * r5666494;
double r5666496 = k;
double r5666497 = r5666482 * r5666496;
double r5666498 = r5666495 - r5666497;
double r5666499 = y0;
double r5666500 = r5666499 * r5666487;
double r5666501 = y1;
double r5666502 = r5666501 * r5666490;
double r5666503 = r5666500 - r5666502;
double r5666504 = r5666498 * r5666503;
double r5666505 = r5666493 - r5666504;
double r5666506 = y2;
double r5666507 = r5666479 * r5666506;
double r5666508 = y3;
double r5666509 = r5666482 * r5666508;
double r5666510 = r5666507 - r5666509;
double r5666511 = r5666499 * r5666489;
double r5666512 = r5666501 * r5666486;
double r5666513 = r5666511 - r5666512;
double r5666514 = r5666510 * r5666513;
double r5666515 = r5666505 + r5666514;
double r5666516 = r5666483 * r5666494;
double r5666517 = r5666480 * r5666496;
double r5666518 = r5666516 - r5666517;
double r5666519 = y4;
double r5666520 = r5666519 * r5666487;
double r5666521 = y5;
double r5666522 = r5666521 * r5666490;
double r5666523 = r5666520 - r5666522;
double r5666524 = r5666518 * r5666523;
double r5666525 = r5666515 + r5666524;
double r5666526 = r5666483 * r5666506;
double r5666527 = r5666480 * r5666508;
double r5666528 = r5666526 - r5666527;
double r5666529 = r5666519 * r5666489;
double r5666530 = r5666521 * r5666486;
double r5666531 = r5666529 - r5666530;
double r5666532 = r5666528 * r5666531;
double r5666533 = r5666525 - r5666532;
double r5666534 = r5666496 * r5666506;
double r5666535 = r5666494 * r5666508;
double r5666536 = r5666534 - r5666535;
double r5666537 = r5666519 * r5666501;
double r5666538 = r5666521 * r5666499;
double r5666539 = r5666537 - r5666538;
double r5666540 = r5666536 * r5666539;
double r5666541 = r5666533 + r5666540;
return r5666541;
}