\[\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 r162336 = x;
double r162337 = y;
double r162338 = r162336 * r162337;
double r162339 = z;
double r162340 = t;
double r162341 = r162339 * r162340;
double r162342 = r162338 - r162341;
double r162343 = a;
double r162344 = b;
double r162345 = r162343 * r162344;
double r162346 = c;
double r162347 = i;
double r162348 = r162346 * r162347;
double r162349 = r162345 - r162348;
double r162350 = r162342 * r162349;
double r162351 = j;
double r162352 = r162336 * r162351;
double r162353 = k;
double r162354 = r162339 * r162353;
double r162355 = r162352 - r162354;
double r162356 = y0;
double r162357 = r162356 * r162344;
double r162358 = y1;
double r162359 = r162358 * r162347;
double r162360 = r162357 - r162359;
double r162361 = r162355 * r162360;
double r162362 = r162350 - r162361;
double r162363 = y2;
double r162364 = r162336 * r162363;
double r162365 = y3;
double r162366 = r162339 * r162365;
double r162367 = r162364 - r162366;
double r162368 = r162356 * r162346;
double r162369 = r162358 * r162343;
double r162370 = r162368 - r162369;
double r162371 = r162367 * r162370;
double r162372 = r162362 + r162371;
double r162373 = r162340 * r162351;
double r162374 = r162337 * r162353;
double r162375 = r162373 - r162374;
double r162376 = y4;
double r162377 = r162376 * r162344;
double r162378 = y5;
double r162379 = r162378 * r162347;
double r162380 = r162377 - r162379;
double r162381 = r162375 * r162380;
double r162382 = r162372 + r162381;
double r162383 = r162340 * r162363;
double r162384 = r162337 * r162365;
double r162385 = r162383 - r162384;
double r162386 = r162376 * r162346;
double r162387 = r162378 * r162343;
double r162388 = r162386 - r162387;
double r162389 = r162385 * r162388;
double r162390 = r162382 - r162389;
double r162391 = r162353 * r162363;
double r162392 = r162351 * r162365;
double r162393 = r162391 - r162392;
double r162394 = r162376 * r162358;
double r162395 = r162378 * r162356;
double r162396 = r162394 - r162395;
double r162397 = r162393 * r162396;
double r162398 = r162390 + r162397;
return r162398;
}