\[\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 r164026 = x;
double r164027 = y;
double r164028 = r164026 * r164027;
double r164029 = z;
double r164030 = t;
double r164031 = r164029 * r164030;
double r164032 = r164028 - r164031;
double r164033 = a;
double r164034 = b;
double r164035 = r164033 * r164034;
double r164036 = c;
double r164037 = i;
double r164038 = r164036 * r164037;
double r164039 = r164035 - r164038;
double r164040 = r164032 * r164039;
double r164041 = j;
double r164042 = r164026 * r164041;
double r164043 = k;
double r164044 = r164029 * r164043;
double r164045 = r164042 - r164044;
double r164046 = y0;
double r164047 = r164046 * r164034;
double r164048 = y1;
double r164049 = r164048 * r164037;
double r164050 = r164047 - r164049;
double r164051 = r164045 * r164050;
double r164052 = r164040 - r164051;
double r164053 = y2;
double r164054 = r164026 * r164053;
double r164055 = y3;
double r164056 = r164029 * r164055;
double r164057 = r164054 - r164056;
double r164058 = r164046 * r164036;
double r164059 = r164048 * r164033;
double r164060 = r164058 - r164059;
double r164061 = r164057 * r164060;
double r164062 = r164052 + r164061;
double r164063 = r164030 * r164041;
double r164064 = r164027 * r164043;
double r164065 = r164063 - r164064;
double r164066 = y4;
double r164067 = r164066 * r164034;
double r164068 = y5;
double r164069 = r164068 * r164037;
double r164070 = r164067 - r164069;
double r164071 = r164065 * r164070;
double r164072 = r164062 + r164071;
double r164073 = r164030 * r164053;
double r164074 = r164027 * r164055;
double r164075 = r164073 - r164074;
double r164076 = r164066 * r164036;
double r164077 = r164068 * r164033;
double r164078 = r164076 - r164077;
double r164079 = r164075 * r164078;
double r164080 = r164072 - r164079;
double r164081 = r164043 * r164053;
double r164082 = r164041 * r164055;
double r164083 = r164081 - r164082;
double r164084 = r164066 * r164048;
double r164085 = r164068 * r164046;
double r164086 = r164084 - r164085;
double r164087 = r164083 * r164086;
double r164088 = r164080 + r164087;
return r164088;
}