\[\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 r5965119 = x;
double r5965120 = y;
double r5965121 = r5965119 * r5965120;
double r5965122 = z;
double r5965123 = t;
double r5965124 = r5965122 * r5965123;
double r5965125 = r5965121 - r5965124;
double r5965126 = a;
double r5965127 = b;
double r5965128 = r5965126 * r5965127;
double r5965129 = c;
double r5965130 = i;
double r5965131 = r5965129 * r5965130;
double r5965132 = r5965128 - r5965131;
double r5965133 = r5965125 * r5965132;
double r5965134 = j;
double r5965135 = r5965119 * r5965134;
double r5965136 = k;
double r5965137 = r5965122 * r5965136;
double r5965138 = r5965135 - r5965137;
double r5965139 = y0;
double r5965140 = r5965139 * r5965127;
double r5965141 = y1;
double r5965142 = r5965141 * r5965130;
double r5965143 = r5965140 - r5965142;
double r5965144 = r5965138 * r5965143;
double r5965145 = r5965133 - r5965144;
double r5965146 = y2;
double r5965147 = r5965119 * r5965146;
double r5965148 = y3;
double r5965149 = r5965122 * r5965148;
double r5965150 = r5965147 - r5965149;
double r5965151 = r5965139 * r5965129;
double r5965152 = r5965141 * r5965126;
double r5965153 = r5965151 - r5965152;
double r5965154 = r5965150 * r5965153;
double r5965155 = r5965145 + r5965154;
double r5965156 = r5965123 * r5965134;
double r5965157 = r5965120 * r5965136;
double r5965158 = r5965156 - r5965157;
double r5965159 = y4;
double r5965160 = r5965159 * r5965127;
double r5965161 = y5;
double r5965162 = r5965161 * r5965130;
double r5965163 = r5965160 - r5965162;
double r5965164 = r5965158 * r5965163;
double r5965165 = r5965155 + r5965164;
double r5965166 = r5965123 * r5965146;
double r5965167 = r5965120 * r5965148;
double r5965168 = r5965166 - r5965167;
double r5965169 = r5965159 * r5965129;
double r5965170 = r5965161 * r5965126;
double r5965171 = r5965169 - r5965170;
double r5965172 = r5965168 * r5965171;
double r5965173 = r5965165 - r5965172;
double r5965174 = r5965136 * r5965146;
double r5965175 = r5965134 * r5965148;
double r5965176 = r5965174 - r5965175;
double r5965177 = r5965159 * r5965141;
double r5965178 = r5965161 * r5965139;
double r5965179 = r5965177 - r5965178;
double r5965180 = r5965176 * r5965179;
double r5965181 = r5965173 + r5965180;
return r5965181;
}