\[\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 r646392 = x;
double r646393 = y;
double r646394 = r646392 * r646393;
double r646395 = z;
double r646396 = t;
double r646397 = r646395 * r646396;
double r646398 = r646394 - r646397;
double r646399 = a;
double r646400 = b;
double r646401 = r646399 * r646400;
double r646402 = c;
double r646403 = i;
double r646404 = r646402 * r646403;
double r646405 = r646401 - r646404;
double r646406 = r646398 * r646405;
double r646407 = j;
double r646408 = r646392 * r646407;
double r646409 = k;
double r646410 = r646395 * r646409;
double r646411 = r646408 - r646410;
double r646412 = y0;
double r646413 = r646412 * r646400;
double r646414 = y1;
double r646415 = r646414 * r646403;
double r646416 = r646413 - r646415;
double r646417 = r646411 * r646416;
double r646418 = r646406 - r646417;
double r646419 = y2;
double r646420 = r646392 * r646419;
double r646421 = y3;
double r646422 = r646395 * r646421;
double r646423 = r646420 - r646422;
double r646424 = r646412 * r646402;
double r646425 = r646414 * r646399;
double r646426 = r646424 - r646425;
double r646427 = r646423 * r646426;
double r646428 = r646418 + r646427;
double r646429 = r646396 * r646407;
double r646430 = r646393 * r646409;
double r646431 = r646429 - r646430;
double r646432 = y4;
double r646433 = r646432 * r646400;
double r646434 = y5;
double r646435 = r646434 * r646403;
double r646436 = r646433 - r646435;
double r646437 = r646431 * r646436;
double r646438 = r646428 + r646437;
double r646439 = r646396 * r646419;
double r646440 = r646393 * r646421;
double r646441 = r646439 - r646440;
double r646442 = r646432 * r646402;
double r646443 = r646434 * r646399;
double r646444 = r646442 - r646443;
double r646445 = r646441 * r646444;
double r646446 = r646438 - r646445;
double r646447 = r646409 * r646419;
double r646448 = r646407 * r646421;
double r646449 = r646447 - r646448;
double r646450 = r646432 * r646414;
double r646451 = r646434 * r646412;
double r646452 = r646450 - r646451;
double r646453 = r646449 * r646452;
double r646454 = r646446 + r646453;
return r646454;
}