\[\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 r605247 = x;
double r605248 = y;
double r605249 = r605247 * r605248;
double r605250 = z;
double r605251 = t;
double r605252 = r605250 * r605251;
double r605253 = r605249 - r605252;
double r605254 = a;
double r605255 = b;
double r605256 = r605254 * r605255;
double r605257 = c;
double r605258 = i;
double r605259 = r605257 * r605258;
double r605260 = r605256 - r605259;
double r605261 = r605253 * r605260;
double r605262 = j;
double r605263 = r605247 * r605262;
double r605264 = k;
double r605265 = r605250 * r605264;
double r605266 = r605263 - r605265;
double r605267 = y0;
double r605268 = r605267 * r605255;
double r605269 = y1;
double r605270 = r605269 * r605258;
double r605271 = r605268 - r605270;
double r605272 = r605266 * r605271;
double r605273 = r605261 - r605272;
double r605274 = y2;
double r605275 = r605247 * r605274;
double r605276 = y3;
double r605277 = r605250 * r605276;
double r605278 = r605275 - r605277;
double r605279 = r605267 * r605257;
double r605280 = r605269 * r605254;
double r605281 = r605279 - r605280;
double r605282 = r605278 * r605281;
double r605283 = r605273 + r605282;
double r605284 = r605251 * r605262;
double r605285 = r605248 * r605264;
double r605286 = r605284 - r605285;
double r605287 = y4;
double r605288 = r605287 * r605255;
double r605289 = y5;
double r605290 = r605289 * r605258;
double r605291 = r605288 - r605290;
double r605292 = r605286 * r605291;
double r605293 = r605283 + r605292;
double r605294 = r605251 * r605274;
double r605295 = r605248 * r605276;
double r605296 = r605294 - r605295;
double r605297 = r605287 * r605257;
double r605298 = r605289 * r605254;
double r605299 = r605297 - r605298;
double r605300 = r605296 * r605299;
double r605301 = r605293 - r605300;
double r605302 = r605264 * r605274;
double r605303 = r605262 * r605276;
double r605304 = r605302 - r605303;
double r605305 = r605287 * r605269;
double r605306 = r605289 * r605267;
double r605307 = r605305 - r605306;
double r605308 = r605304 * r605307;
double r605309 = r605301 + r605308;
return r605309;
}