\[\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 r181333 = x;
double r181334 = y;
double r181335 = r181333 * r181334;
double r181336 = z;
double r181337 = t;
double r181338 = r181336 * r181337;
double r181339 = r181335 - r181338;
double r181340 = a;
double r181341 = b;
double r181342 = r181340 * r181341;
double r181343 = c;
double r181344 = i;
double r181345 = r181343 * r181344;
double r181346 = r181342 - r181345;
double r181347 = r181339 * r181346;
double r181348 = j;
double r181349 = r181333 * r181348;
double r181350 = k;
double r181351 = r181336 * r181350;
double r181352 = r181349 - r181351;
double r181353 = y0;
double r181354 = r181353 * r181341;
double r181355 = y1;
double r181356 = r181355 * r181344;
double r181357 = r181354 - r181356;
double r181358 = r181352 * r181357;
double r181359 = r181347 - r181358;
double r181360 = y2;
double r181361 = r181333 * r181360;
double r181362 = y3;
double r181363 = r181336 * r181362;
double r181364 = r181361 - r181363;
double r181365 = r181353 * r181343;
double r181366 = r181355 * r181340;
double r181367 = r181365 - r181366;
double r181368 = r181364 * r181367;
double r181369 = r181359 + r181368;
double r181370 = r181337 * r181348;
double r181371 = r181334 * r181350;
double r181372 = r181370 - r181371;
double r181373 = y4;
double r181374 = r181373 * r181341;
double r181375 = y5;
double r181376 = r181375 * r181344;
double r181377 = r181374 - r181376;
double r181378 = r181372 * r181377;
double r181379 = r181369 + r181378;
double r181380 = r181337 * r181360;
double r181381 = r181334 * r181362;
double r181382 = r181380 - r181381;
double r181383 = r181373 * r181343;
double r181384 = r181375 * r181340;
double r181385 = r181383 - r181384;
double r181386 = r181382 * r181385;
double r181387 = r181379 - r181386;
double r181388 = r181350 * r181360;
double r181389 = r181348 * r181362;
double r181390 = r181388 - r181389;
double r181391 = r181373 * r181355;
double r181392 = r181375 * r181353;
double r181393 = r181391 - r181392;
double r181394 = r181390 * r181393;
double r181395 = r181387 + r181394;
return r181395;
}