\[\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 r4594317 = x;
double r4594318 = y;
double r4594319 = r4594317 * r4594318;
double r4594320 = z;
double r4594321 = t;
double r4594322 = r4594320 * r4594321;
double r4594323 = r4594319 - r4594322;
double r4594324 = a;
double r4594325 = b;
double r4594326 = r4594324 * r4594325;
double r4594327 = c;
double r4594328 = i;
double r4594329 = r4594327 * r4594328;
double r4594330 = r4594326 - r4594329;
double r4594331 = r4594323 * r4594330;
double r4594332 = j;
double r4594333 = r4594317 * r4594332;
double r4594334 = k;
double r4594335 = r4594320 * r4594334;
double r4594336 = r4594333 - r4594335;
double r4594337 = y0;
double r4594338 = r4594337 * r4594325;
double r4594339 = y1;
double r4594340 = r4594339 * r4594328;
double r4594341 = r4594338 - r4594340;
double r4594342 = r4594336 * r4594341;
double r4594343 = r4594331 - r4594342;
double r4594344 = y2;
double r4594345 = r4594317 * r4594344;
double r4594346 = y3;
double r4594347 = r4594320 * r4594346;
double r4594348 = r4594345 - r4594347;
double r4594349 = r4594337 * r4594327;
double r4594350 = r4594339 * r4594324;
double r4594351 = r4594349 - r4594350;
double r4594352 = r4594348 * r4594351;
double r4594353 = r4594343 + r4594352;
double r4594354 = r4594321 * r4594332;
double r4594355 = r4594318 * r4594334;
double r4594356 = r4594354 - r4594355;
double r4594357 = y4;
double r4594358 = r4594357 * r4594325;
double r4594359 = y5;
double r4594360 = r4594359 * r4594328;
double r4594361 = r4594358 - r4594360;
double r4594362 = r4594356 * r4594361;
double r4594363 = r4594353 + r4594362;
double r4594364 = r4594321 * r4594344;
double r4594365 = r4594318 * r4594346;
double r4594366 = r4594364 - r4594365;
double r4594367 = r4594357 * r4594327;
double r4594368 = r4594359 * r4594324;
double r4594369 = r4594367 - r4594368;
double r4594370 = r4594366 * r4594369;
double r4594371 = r4594363 - r4594370;
double r4594372 = r4594334 * r4594344;
double r4594373 = r4594332 * r4594346;
double r4594374 = r4594372 - r4594373;
double r4594375 = r4594357 * r4594339;
double r4594376 = r4594359 * r4594337;
double r4594377 = r4594375 - r4594376;
double r4594378 = r4594374 * r4594377;
double r4594379 = r4594371 + r4594378;
return r4594379;
}