\[\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 r164412 = x;
double r164413 = y;
double r164414 = r164412 * r164413;
double r164415 = z;
double r164416 = t;
double r164417 = r164415 * r164416;
double r164418 = r164414 - r164417;
double r164419 = a;
double r164420 = b;
double r164421 = r164419 * r164420;
double r164422 = c;
double r164423 = i;
double r164424 = r164422 * r164423;
double r164425 = r164421 - r164424;
double r164426 = r164418 * r164425;
double r164427 = j;
double r164428 = r164412 * r164427;
double r164429 = k;
double r164430 = r164415 * r164429;
double r164431 = r164428 - r164430;
double r164432 = y0;
double r164433 = r164432 * r164420;
double r164434 = y1;
double r164435 = r164434 * r164423;
double r164436 = r164433 - r164435;
double r164437 = r164431 * r164436;
double r164438 = r164426 - r164437;
double r164439 = y2;
double r164440 = r164412 * r164439;
double r164441 = y3;
double r164442 = r164415 * r164441;
double r164443 = r164440 - r164442;
double r164444 = r164432 * r164422;
double r164445 = r164434 * r164419;
double r164446 = r164444 - r164445;
double r164447 = r164443 * r164446;
double r164448 = r164438 + r164447;
double r164449 = r164416 * r164427;
double r164450 = r164413 * r164429;
double r164451 = r164449 - r164450;
double r164452 = y4;
double r164453 = r164452 * r164420;
double r164454 = y5;
double r164455 = r164454 * r164423;
double r164456 = r164453 - r164455;
double r164457 = r164451 * r164456;
double r164458 = r164448 + r164457;
double r164459 = r164416 * r164439;
double r164460 = r164413 * r164441;
double r164461 = r164459 - r164460;
double r164462 = r164452 * r164422;
double r164463 = r164454 * r164419;
double r164464 = r164462 - r164463;
double r164465 = r164461 * r164464;
double r164466 = r164458 - r164465;
double r164467 = r164429 * r164439;
double r164468 = r164427 * r164441;
double r164469 = r164467 - r164468;
double r164470 = r164452 * r164434;
double r164471 = r164454 * r164432;
double r164472 = r164470 - r164471;
double r164473 = r164469 * r164472;
double r164474 = r164466 + r164473;
return r164474;
}