\[\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 r551279 = x;
double r551280 = y;
double r551281 = r551279 * r551280;
double r551282 = z;
double r551283 = t;
double r551284 = r551282 * r551283;
double r551285 = r551281 - r551284;
double r551286 = a;
double r551287 = b;
double r551288 = r551286 * r551287;
double r551289 = c;
double r551290 = i;
double r551291 = r551289 * r551290;
double r551292 = r551288 - r551291;
double r551293 = r551285 * r551292;
double r551294 = j;
double r551295 = r551279 * r551294;
double r551296 = k;
double r551297 = r551282 * r551296;
double r551298 = r551295 - r551297;
double r551299 = y0;
double r551300 = r551299 * r551287;
double r551301 = y1;
double r551302 = r551301 * r551290;
double r551303 = r551300 - r551302;
double r551304 = r551298 * r551303;
double r551305 = r551293 - r551304;
double r551306 = y2;
double r551307 = r551279 * r551306;
double r551308 = y3;
double r551309 = r551282 * r551308;
double r551310 = r551307 - r551309;
double r551311 = r551299 * r551289;
double r551312 = r551301 * r551286;
double r551313 = r551311 - r551312;
double r551314 = r551310 * r551313;
double r551315 = r551305 + r551314;
double r551316 = r551283 * r551294;
double r551317 = r551280 * r551296;
double r551318 = r551316 - r551317;
double r551319 = y4;
double r551320 = r551319 * r551287;
double r551321 = y5;
double r551322 = r551321 * r551290;
double r551323 = r551320 - r551322;
double r551324 = r551318 * r551323;
double r551325 = r551315 + r551324;
double r551326 = r551283 * r551306;
double r551327 = r551280 * r551308;
double r551328 = r551326 - r551327;
double r551329 = r551319 * r551289;
double r551330 = r551321 * r551286;
double r551331 = r551329 - r551330;
double r551332 = r551328 * r551331;
double r551333 = r551325 - r551332;
double r551334 = r551296 * r551306;
double r551335 = r551294 * r551308;
double r551336 = r551334 - r551335;
double r551337 = r551319 * r551301;
double r551338 = r551321 * r551299;
double r551339 = r551337 - r551338;
double r551340 = r551336 * r551339;
double r551341 = r551333 + r551340;
return r551341;
}