\[\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 r782498 = x;
double r782499 = y;
double r782500 = r782498 * r782499;
double r782501 = z;
double r782502 = t;
double r782503 = r782501 * r782502;
double r782504 = r782500 - r782503;
double r782505 = a;
double r782506 = b;
double r782507 = r782505 * r782506;
double r782508 = c;
double r782509 = i;
double r782510 = r782508 * r782509;
double r782511 = r782507 - r782510;
double r782512 = r782504 * r782511;
double r782513 = j;
double r782514 = r782498 * r782513;
double r782515 = k;
double r782516 = r782501 * r782515;
double r782517 = r782514 - r782516;
double r782518 = y0;
double r782519 = r782518 * r782506;
double r782520 = y1;
double r782521 = r782520 * r782509;
double r782522 = r782519 - r782521;
double r782523 = r782517 * r782522;
double r782524 = r782512 - r782523;
double r782525 = y2;
double r782526 = r782498 * r782525;
double r782527 = y3;
double r782528 = r782501 * r782527;
double r782529 = r782526 - r782528;
double r782530 = r782518 * r782508;
double r782531 = r782520 * r782505;
double r782532 = r782530 - r782531;
double r782533 = r782529 * r782532;
double r782534 = r782524 + r782533;
double r782535 = r782502 * r782513;
double r782536 = r782499 * r782515;
double r782537 = r782535 - r782536;
double r782538 = y4;
double r782539 = r782538 * r782506;
double r782540 = y5;
double r782541 = r782540 * r782509;
double r782542 = r782539 - r782541;
double r782543 = r782537 * r782542;
double r782544 = r782534 + r782543;
double r782545 = r782502 * r782525;
double r782546 = r782499 * r782527;
double r782547 = r782545 - r782546;
double r782548 = r782538 * r782508;
double r782549 = r782540 * r782505;
double r782550 = r782548 - r782549;
double r782551 = r782547 * r782550;
double r782552 = r782544 - r782551;
double r782553 = r782515 * r782525;
double r782554 = r782513 * r782527;
double r782555 = r782553 - r782554;
double r782556 = r782538 * r782520;
double r782557 = r782540 * r782518;
double r782558 = r782556 - r782557;
double r782559 = r782555 * r782558;
double r782560 = r782552 + r782559;
return r782560;
}