\[\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 r141421 = x;
double r141422 = y;
double r141423 = r141421 * r141422;
double r141424 = z;
double r141425 = t;
double r141426 = r141424 * r141425;
double r141427 = r141423 - r141426;
double r141428 = a;
double r141429 = b;
double r141430 = r141428 * r141429;
double r141431 = c;
double r141432 = i;
double r141433 = r141431 * r141432;
double r141434 = r141430 - r141433;
double r141435 = r141427 * r141434;
double r141436 = j;
double r141437 = r141421 * r141436;
double r141438 = k;
double r141439 = r141424 * r141438;
double r141440 = r141437 - r141439;
double r141441 = y0;
double r141442 = r141441 * r141429;
double r141443 = y1;
double r141444 = r141443 * r141432;
double r141445 = r141442 - r141444;
double r141446 = r141440 * r141445;
double r141447 = r141435 - r141446;
double r141448 = y2;
double r141449 = r141421 * r141448;
double r141450 = y3;
double r141451 = r141424 * r141450;
double r141452 = r141449 - r141451;
double r141453 = r141441 * r141431;
double r141454 = r141443 * r141428;
double r141455 = r141453 - r141454;
double r141456 = r141452 * r141455;
double r141457 = r141447 + r141456;
double r141458 = r141425 * r141436;
double r141459 = r141422 * r141438;
double r141460 = r141458 - r141459;
double r141461 = y4;
double r141462 = r141461 * r141429;
double r141463 = y5;
double r141464 = r141463 * r141432;
double r141465 = r141462 - r141464;
double r141466 = r141460 * r141465;
double r141467 = r141457 + r141466;
double r141468 = r141425 * r141448;
double r141469 = r141422 * r141450;
double r141470 = r141468 - r141469;
double r141471 = r141461 * r141431;
double r141472 = r141463 * r141428;
double r141473 = r141471 - r141472;
double r141474 = r141470 * r141473;
double r141475 = r141467 - r141474;
double r141476 = r141438 * r141448;
double r141477 = r141436 * r141450;
double r141478 = r141476 - r141477;
double r141479 = r141461 * r141443;
double r141480 = r141463 * r141441;
double r141481 = r141479 - r141480;
double r141482 = r141478 * r141481;
double r141483 = r141475 + r141482;
return r141483;
}