\[\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 r100465341 = x;
double r100465342 = y;
double r100465343 = r100465341 * r100465342;
double r100465344 = z;
double r100465345 = t;
double r100465346 = r100465344 * r100465345;
double r100465347 = r100465343 - r100465346;
double r100465348 = a;
double r100465349 = b;
double r100465350 = r100465348 * r100465349;
double r100465351 = c;
double r100465352 = i;
double r100465353 = r100465351 * r100465352;
double r100465354 = r100465350 - r100465353;
double r100465355 = r100465347 * r100465354;
double r100465356 = j;
double r100465357 = r100465341 * r100465356;
double r100465358 = k;
double r100465359 = r100465344 * r100465358;
double r100465360 = r100465357 - r100465359;
double r100465361 = y0;
double r100465362 = r100465361 * r100465349;
double r100465363 = y1;
double r100465364 = r100465363 * r100465352;
double r100465365 = r100465362 - r100465364;
double r100465366 = r100465360 * r100465365;
double r100465367 = r100465355 - r100465366;
double r100465368 = y2;
double r100465369 = r100465341 * r100465368;
double r100465370 = y3;
double r100465371 = r100465344 * r100465370;
double r100465372 = r100465369 - r100465371;
double r100465373 = r100465361 * r100465351;
double r100465374 = r100465363 * r100465348;
double r100465375 = r100465373 - r100465374;
double r100465376 = r100465372 * r100465375;
double r100465377 = r100465367 + r100465376;
double r100465378 = r100465345 * r100465356;
double r100465379 = r100465342 * r100465358;
double r100465380 = r100465378 - r100465379;
double r100465381 = y4;
double r100465382 = r100465381 * r100465349;
double r100465383 = y5;
double r100465384 = r100465383 * r100465352;
double r100465385 = r100465382 - r100465384;
double r100465386 = r100465380 * r100465385;
double r100465387 = r100465377 + r100465386;
double r100465388 = r100465345 * r100465368;
double r100465389 = r100465342 * r100465370;
double r100465390 = r100465388 - r100465389;
double r100465391 = r100465381 * r100465351;
double r100465392 = r100465383 * r100465348;
double r100465393 = r100465391 - r100465392;
double r100465394 = r100465390 * r100465393;
double r100465395 = r100465387 - r100465394;
double r100465396 = r100465358 * r100465368;
double r100465397 = r100465356 * r100465370;
double r100465398 = r100465396 - r100465397;
double r100465399 = r100465381 * r100465363;
double r100465400 = r100465383 * r100465361;
double r100465401 = r100465399 - r100465400;
double r100465402 = r100465398 * r100465401;
double r100465403 = r100465395 + r100465402;
return r100465403;
}