\[\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 r24716435 = x;
double r24716436 = y;
double r24716437 = r24716435 * r24716436;
double r24716438 = z;
double r24716439 = t;
double r24716440 = r24716438 * r24716439;
double r24716441 = r24716437 - r24716440;
double r24716442 = a;
double r24716443 = b;
double r24716444 = r24716442 * r24716443;
double r24716445 = c;
double r24716446 = i;
double r24716447 = r24716445 * r24716446;
double r24716448 = r24716444 - r24716447;
double r24716449 = r24716441 * r24716448;
double r24716450 = j;
double r24716451 = r24716435 * r24716450;
double r24716452 = k;
double r24716453 = r24716438 * r24716452;
double r24716454 = r24716451 - r24716453;
double r24716455 = y0;
double r24716456 = r24716455 * r24716443;
double r24716457 = y1;
double r24716458 = r24716457 * r24716446;
double r24716459 = r24716456 - r24716458;
double r24716460 = r24716454 * r24716459;
double r24716461 = r24716449 - r24716460;
double r24716462 = y2;
double r24716463 = r24716435 * r24716462;
double r24716464 = y3;
double r24716465 = r24716438 * r24716464;
double r24716466 = r24716463 - r24716465;
double r24716467 = r24716455 * r24716445;
double r24716468 = r24716457 * r24716442;
double r24716469 = r24716467 - r24716468;
double r24716470 = r24716466 * r24716469;
double r24716471 = r24716461 + r24716470;
double r24716472 = r24716439 * r24716450;
double r24716473 = r24716436 * r24716452;
double r24716474 = r24716472 - r24716473;
double r24716475 = y4;
double r24716476 = r24716475 * r24716443;
double r24716477 = y5;
double r24716478 = r24716477 * r24716446;
double r24716479 = r24716476 - r24716478;
double r24716480 = r24716474 * r24716479;
double r24716481 = r24716471 + r24716480;
double r24716482 = r24716439 * r24716462;
double r24716483 = r24716436 * r24716464;
double r24716484 = r24716482 - r24716483;
double r24716485 = r24716475 * r24716445;
double r24716486 = r24716477 * r24716442;
double r24716487 = r24716485 - r24716486;
double r24716488 = r24716484 * r24716487;
double r24716489 = r24716481 - r24716488;
double r24716490 = r24716452 * r24716462;
double r24716491 = r24716450 * r24716464;
double r24716492 = r24716490 - r24716491;
double r24716493 = r24716475 * r24716457;
double r24716494 = r24716477 * r24716455;
double r24716495 = r24716493 - r24716494;
double r24716496 = r24716492 * r24716495;
double r24716497 = r24716489 + r24716496;
return r24716497;
}