\[\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 r4209243 = x;
double r4209244 = y;
double r4209245 = r4209243 * r4209244;
double r4209246 = z;
double r4209247 = t;
double r4209248 = r4209246 * r4209247;
double r4209249 = r4209245 - r4209248;
double r4209250 = a;
double r4209251 = b;
double r4209252 = r4209250 * r4209251;
double r4209253 = c;
double r4209254 = i;
double r4209255 = r4209253 * r4209254;
double r4209256 = r4209252 - r4209255;
double r4209257 = r4209249 * r4209256;
double r4209258 = j;
double r4209259 = r4209243 * r4209258;
double r4209260 = k;
double r4209261 = r4209246 * r4209260;
double r4209262 = r4209259 - r4209261;
double r4209263 = y0;
double r4209264 = r4209263 * r4209251;
double r4209265 = y1;
double r4209266 = r4209265 * r4209254;
double r4209267 = r4209264 - r4209266;
double r4209268 = r4209262 * r4209267;
double r4209269 = r4209257 - r4209268;
double r4209270 = y2;
double r4209271 = r4209243 * r4209270;
double r4209272 = y3;
double r4209273 = r4209246 * r4209272;
double r4209274 = r4209271 - r4209273;
double r4209275 = r4209263 * r4209253;
double r4209276 = r4209265 * r4209250;
double r4209277 = r4209275 - r4209276;
double r4209278 = r4209274 * r4209277;
double r4209279 = r4209269 + r4209278;
double r4209280 = r4209247 * r4209258;
double r4209281 = r4209244 * r4209260;
double r4209282 = r4209280 - r4209281;
double r4209283 = y4;
double r4209284 = r4209283 * r4209251;
double r4209285 = y5;
double r4209286 = r4209285 * r4209254;
double r4209287 = r4209284 - r4209286;
double r4209288 = r4209282 * r4209287;
double r4209289 = r4209279 + r4209288;
double r4209290 = r4209247 * r4209270;
double r4209291 = r4209244 * r4209272;
double r4209292 = r4209290 - r4209291;
double r4209293 = r4209283 * r4209253;
double r4209294 = r4209285 * r4209250;
double r4209295 = r4209293 - r4209294;
double r4209296 = r4209292 * r4209295;
double r4209297 = r4209289 - r4209296;
double r4209298 = r4209260 * r4209270;
double r4209299 = r4209258 * r4209272;
double r4209300 = r4209298 - r4209299;
double r4209301 = r4209283 * r4209265;
double r4209302 = r4209285 * r4209263;
double r4209303 = r4209301 - r4209302;
double r4209304 = r4209300 * r4209303;
double r4209305 = r4209297 + r4209304;
return r4209305;
}