\[\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 r5723985 = x;
double r5723986 = y;
double r5723987 = r5723985 * r5723986;
double r5723988 = z;
double r5723989 = t;
double r5723990 = r5723988 * r5723989;
double r5723991 = r5723987 - r5723990;
double r5723992 = a;
double r5723993 = b;
double r5723994 = r5723992 * r5723993;
double r5723995 = c;
double r5723996 = i;
double r5723997 = r5723995 * r5723996;
double r5723998 = r5723994 - r5723997;
double r5723999 = r5723991 * r5723998;
double r5724000 = j;
double r5724001 = r5723985 * r5724000;
double r5724002 = k;
double r5724003 = r5723988 * r5724002;
double r5724004 = r5724001 - r5724003;
double r5724005 = y0;
double r5724006 = r5724005 * r5723993;
double r5724007 = y1;
double r5724008 = r5724007 * r5723996;
double r5724009 = r5724006 - r5724008;
double r5724010 = r5724004 * r5724009;
double r5724011 = r5723999 - r5724010;
double r5724012 = y2;
double r5724013 = r5723985 * r5724012;
double r5724014 = y3;
double r5724015 = r5723988 * r5724014;
double r5724016 = r5724013 - r5724015;
double r5724017 = r5724005 * r5723995;
double r5724018 = r5724007 * r5723992;
double r5724019 = r5724017 - r5724018;
double r5724020 = r5724016 * r5724019;
double r5724021 = r5724011 + r5724020;
double r5724022 = r5723989 * r5724000;
double r5724023 = r5723986 * r5724002;
double r5724024 = r5724022 - r5724023;
double r5724025 = y4;
double r5724026 = r5724025 * r5723993;
double r5724027 = y5;
double r5724028 = r5724027 * r5723996;
double r5724029 = r5724026 - r5724028;
double r5724030 = r5724024 * r5724029;
double r5724031 = r5724021 + r5724030;
double r5724032 = r5723989 * r5724012;
double r5724033 = r5723986 * r5724014;
double r5724034 = r5724032 - r5724033;
double r5724035 = r5724025 * r5723995;
double r5724036 = r5724027 * r5723992;
double r5724037 = r5724035 - r5724036;
double r5724038 = r5724034 * r5724037;
double r5724039 = r5724031 - r5724038;
double r5724040 = r5724002 * r5724012;
double r5724041 = r5724000 * r5724014;
double r5724042 = r5724040 - r5724041;
double r5724043 = r5724025 * r5724007;
double r5724044 = r5724027 * r5724005;
double r5724045 = r5724043 - r5724044;
double r5724046 = r5724042 * r5724045;
double r5724047 = r5724039 + r5724046;
return r5724047;
}