\[\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 r451262 = x;
double r451263 = y;
double r451264 = r451262 * r451263;
double r451265 = z;
double r451266 = t;
double r451267 = r451265 * r451266;
double r451268 = r451264 - r451267;
double r451269 = a;
double r451270 = b;
double r451271 = r451269 * r451270;
double r451272 = c;
double r451273 = i;
double r451274 = r451272 * r451273;
double r451275 = r451271 - r451274;
double r451276 = r451268 * r451275;
double r451277 = j;
double r451278 = r451262 * r451277;
double r451279 = k;
double r451280 = r451265 * r451279;
double r451281 = r451278 - r451280;
double r451282 = y0;
double r451283 = r451282 * r451270;
double r451284 = y1;
double r451285 = r451284 * r451273;
double r451286 = r451283 - r451285;
double r451287 = r451281 * r451286;
double r451288 = r451276 - r451287;
double r451289 = y2;
double r451290 = r451262 * r451289;
double r451291 = y3;
double r451292 = r451265 * r451291;
double r451293 = r451290 - r451292;
double r451294 = r451282 * r451272;
double r451295 = r451284 * r451269;
double r451296 = r451294 - r451295;
double r451297 = r451293 * r451296;
double r451298 = r451288 + r451297;
double r451299 = r451266 * r451277;
double r451300 = r451263 * r451279;
double r451301 = r451299 - r451300;
double r451302 = y4;
double r451303 = r451302 * r451270;
double r451304 = y5;
double r451305 = r451304 * r451273;
double r451306 = r451303 - r451305;
double r451307 = r451301 * r451306;
double r451308 = r451298 + r451307;
double r451309 = r451266 * r451289;
double r451310 = r451263 * r451291;
double r451311 = r451309 - r451310;
double r451312 = r451302 * r451272;
double r451313 = r451304 * r451269;
double r451314 = r451312 - r451313;
double r451315 = r451311 * r451314;
double r451316 = r451308 - r451315;
double r451317 = r451279 * r451289;
double r451318 = r451277 * r451291;
double r451319 = r451317 - r451318;
double r451320 = r451302 * r451284;
double r451321 = r451304 * r451282;
double r451322 = r451320 - r451321;
double r451323 = r451319 * r451322;
double r451324 = r451316 + r451323;
return r451324;
}