\[\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 r162256 = x;
double r162257 = y;
double r162258 = r162256 * r162257;
double r162259 = z;
double r162260 = t;
double r162261 = r162259 * r162260;
double r162262 = r162258 - r162261;
double r162263 = a;
double r162264 = b;
double r162265 = r162263 * r162264;
double r162266 = c;
double r162267 = i;
double r162268 = r162266 * r162267;
double r162269 = r162265 - r162268;
double r162270 = r162262 * r162269;
double r162271 = j;
double r162272 = r162256 * r162271;
double r162273 = k;
double r162274 = r162259 * r162273;
double r162275 = r162272 - r162274;
double r162276 = y0;
double r162277 = r162276 * r162264;
double r162278 = y1;
double r162279 = r162278 * r162267;
double r162280 = r162277 - r162279;
double r162281 = r162275 * r162280;
double r162282 = r162270 - r162281;
double r162283 = y2;
double r162284 = r162256 * r162283;
double r162285 = y3;
double r162286 = r162259 * r162285;
double r162287 = r162284 - r162286;
double r162288 = r162276 * r162266;
double r162289 = r162278 * r162263;
double r162290 = r162288 - r162289;
double r162291 = r162287 * r162290;
double r162292 = r162282 + r162291;
double r162293 = r162260 * r162271;
double r162294 = r162257 * r162273;
double r162295 = r162293 - r162294;
double r162296 = y4;
double r162297 = r162296 * r162264;
double r162298 = y5;
double r162299 = r162298 * r162267;
double r162300 = r162297 - r162299;
double r162301 = r162295 * r162300;
double r162302 = r162292 + r162301;
double r162303 = r162260 * r162283;
double r162304 = r162257 * r162285;
double r162305 = r162303 - r162304;
double r162306 = r162296 * r162266;
double r162307 = r162298 * r162263;
double r162308 = r162306 - r162307;
double r162309 = r162305 * r162308;
double r162310 = r162302 - r162309;
double r162311 = r162273 * r162283;
double r162312 = r162271 * r162285;
double r162313 = r162311 - r162312;
double r162314 = r162296 * r162278;
double r162315 = r162298 * r162276;
double r162316 = r162314 - r162315;
double r162317 = r162313 * r162316;
double r162318 = r162310 + r162317;
return r162318;
}