\[\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 r4742330 = x;
double r4742331 = y;
double r4742332 = r4742330 * r4742331;
double r4742333 = z;
double r4742334 = t;
double r4742335 = r4742333 * r4742334;
double r4742336 = r4742332 - r4742335;
double r4742337 = a;
double r4742338 = b;
double r4742339 = r4742337 * r4742338;
double r4742340 = c;
double r4742341 = i;
double r4742342 = r4742340 * r4742341;
double r4742343 = r4742339 - r4742342;
double r4742344 = r4742336 * r4742343;
double r4742345 = j;
double r4742346 = r4742330 * r4742345;
double r4742347 = k;
double r4742348 = r4742333 * r4742347;
double r4742349 = r4742346 - r4742348;
double r4742350 = y0;
double r4742351 = r4742350 * r4742338;
double r4742352 = y1;
double r4742353 = r4742352 * r4742341;
double r4742354 = r4742351 - r4742353;
double r4742355 = r4742349 * r4742354;
double r4742356 = r4742344 - r4742355;
double r4742357 = y2;
double r4742358 = r4742330 * r4742357;
double r4742359 = y3;
double r4742360 = r4742333 * r4742359;
double r4742361 = r4742358 - r4742360;
double r4742362 = r4742350 * r4742340;
double r4742363 = r4742352 * r4742337;
double r4742364 = r4742362 - r4742363;
double r4742365 = r4742361 * r4742364;
double r4742366 = r4742356 + r4742365;
double r4742367 = r4742334 * r4742345;
double r4742368 = r4742331 * r4742347;
double r4742369 = r4742367 - r4742368;
double r4742370 = y4;
double r4742371 = r4742370 * r4742338;
double r4742372 = y5;
double r4742373 = r4742372 * r4742341;
double r4742374 = r4742371 - r4742373;
double r4742375 = r4742369 * r4742374;
double r4742376 = r4742366 + r4742375;
double r4742377 = r4742334 * r4742357;
double r4742378 = r4742331 * r4742359;
double r4742379 = r4742377 - r4742378;
double r4742380 = r4742370 * r4742340;
double r4742381 = r4742372 * r4742337;
double r4742382 = r4742380 - r4742381;
double r4742383 = r4742379 * r4742382;
double r4742384 = r4742376 - r4742383;
double r4742385 = r4742347 * r4742357;
double r4742386 = r4742345 * r4742359;
double r4742387 = r4742385 - r4742386;
double r4742388 = r4742370 * r4742352;
double r4742389 = r4742372 * r4742350;
double r4742390 = r4742388 - r4742389;
double r4742391 = r4742387 * r4742390;
double r4742392 = r4742384 + r4742391;
return r4742392;
}