\[\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 r9577268 = x;
double r9577269 = y;
double r9577270 = r9577268 * r9577269;
double r9577271 = z;
double r9577272 = t;
double r9577273 = r9577271 * r9577272;
double r9577274 = r9577270 - r9577273;
double r9577275 = a;
double r9577276 = b;
double r9577277 = r9577275 * r9577276;
double r9577278 = c;
double r9577279 = i;
double r9577280 = r9577278 * r9577279;
double r9577281 = r9577277 - r9577280;
double r9577282 = r9577274 * r9577281;
double r9577283 = j;
double r9577284 = r9577268 * r9577283;
double r9577285 = k;
double r9577286 = r9577271 * r9577285;
double r9577287 = r9577284 - r9577286;
double r9577288 = y0;
double r9577289 = r9577288 * r9577276;
double r9577290 = y1;
double r9577291 = r9577290 * r9577279;
double r9577292 = r9577289 - r9577291;
double r9577293 = r9577287 * r9577292;
double r9577294 = r9577282 - r9577293;
double r9577295 = y2;
double r9577296 = r9577268 * r9577295;
double r9577297 = y3;
double r9577298 = r9577271 * r9577297;
double r9577299 = r9577296 - r9577298;
double r9577300 = r9577288 * r9577278;
double r9577301 = r9577290 * r9577275;
double r9577302 = r9577300 - r9577301;
double r9577303 = r9577299 * r9577302;
double r9577304 = r9577294 + r9577303;
double r9577305 = r9577272 * r9577283;
double r9577306 = r9577269 * r9577285;
double r9577307 = r9577305 - r9577306;
double r9577308 = y4;
double r9577309 = r9577308 * r9577276;
double r9577310 = y5;
double r9577311 = r9577310 * r9577279;
double r9577312 = r9577309 - r9577311;
double r9577313 = r9577307 * r9577312;
double r9577314 = r9577304 + r9577313;
double r9577315 = r9577272 * r9577295;
double r9577316 = r9577269 * r9577297;
double r9577317 = r9577315 - r9577316;
double r9577318 = r9577308 * r9577278;
double r9577319 = r9577310 * r9577275;
double r9577320 = r9577318 - r9577319;
double r9577321 = r9577317 * r9577320;
double r9577322 = r9577314 - r9577321;
double r9577323 = r9577285 * r9577295;
double r9577324 = r9577283 * r9577297;
double r9577325 = r9577323 - r9577324;
double r9577326 = r9577308 * r9577290;
double r9577327 = r9577310 * r9577288;
double r9577328 = r9577326 - r9577327;
double r9577329 = r9577325 * r9577328;
double r9577330 = r9577322 + r9577329;
return r9577330;
}