\[\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 r22685155 = x;
double r22685156 = y;
double r22685157 = r22685155 * r22685156;
double r22685158 = z;
double r22685159 = t;
double r22685160 = r22685158 * r22685159;
double r22685161 = r22685157 - r22685160;
double r22685162 = a;
double r22685163 = b;
double r22685164 = r22685162 * r22685163;
double r22685165 = c;
double r22685166 = i;
double r22685167 = r22685165 * r22685166;
double r22685168 = r22685164 - r22685167;
double r22685169 = r22685161 * r22685168;
double r22685170 = j;
double r22685171 = r22685155 * r22685170;
double r22685172 = k;
double r22685173 = r22685158 * r22685172;
double r22685174 = r22685171 - r22685173;
double r22685175 = y0;
double r22685176 = r22685175 * r22685163;
double r22685177 = y1;
double r22685178 = r22685177 * r22685166;
double r22685179 = r22685176 - r22685178;
double r22685180 = r22685174 * r22685179;
double r22685181 = r22685169 - r22685180;
double r22685182 = y2;
double r22685183 = r22685155 * r22685182;
double r22685184 = y3;
double r22685185 = r22685158 * r22685184;
double r22685186 = r22685183 - r22685185;
double r22685187 = r22685175 * r22685165;
double r22685188 = r22685177 * r22685162;
double r22685189 = r22685187 - r22685188;
double r22685190 = r22685186 * r22685189;
double r22685191 = r22685181 + r22685190;
double r22685192 = r22685159 * r22685170;
double r22685193 = r22685156 * r22685172;
double r22685194 = r22685192 - r22685193;
double r22685195 = y4;
double r22685196 = r22685195 * r22685163;
double r22685197 = y5;
double r22685198 = r22685197 * r22685166;
double r22685199 = r22685196 - r22685198;
double r22685200 = r22685194 * r22685199;
double r22685201 = r22685191 + r22685200;
double r22685202 = r22685159 * r22685182;
double r22685203 = r22685156 * r22685184;
double r22685204 = r22685202 - r22685203;
double r22685205 = r22685195 * r22685165;
double r22685206 = r22685197 * r22685162;
double r22685207 = r22685205 - r22685206;
double r22685208 = r22685204 * r22685207;
double r22685209 = r22685201 - r22685208;
double r22685210 = r22685172 * r22685182;
double r22685211 = r22685170 * r22685184;
double r22685212 = r22685210 - r22685211;
double r22685213 = r22685195 * r22685177;
double r22685214 = r22685197 * r22685175;
double r22685215 = r22685213 - r22685214;
double r22685216 = r22685212 * r22685215;
double r22685217 = r22685209 + r22685216;
return r22685217;
}