\[\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 r4988014 = x;
double r4988015 = y;
double r4988016 = r4988014 * r4988015;
double r4988017 = z;
double r4988018 = t;
double r4988019 = r4988017 * r4988018;
double r4988020 = r4988016 - r4988019;
double r4988021 = a;
double r4988022 = b;
double r4988023 = r4988021 * r4988022;
double r4988024 = c;
double r4988025 = i;
double r4988026 = r4988024 * r4988025;
double r4988027 = r4988023 - r4988026;
double r4988028 = r4988020 * r4988027;
double r4988029 = j;
double r4988030 = r4988014 * r4988029;
double r4988031 = k;
double r4988032 = r4988017 * r4988031;
double r4988033 = r4988030 - r4988032;
double r4988034 = y0;
double r4988035 = r4988034 * r4988022;
double r4988036 = y1;
double r4988037 = r4988036 * r4988025;
double r4988038 = r4988035 - r4988037;
double r4988039 = r4988033 * r4988038;
double r4988040 = r4988028 - r4988039;
double r4988041 = y2;
double r4988042 = r4988014 * r4988041;
double r4988043 = y3;
double r4988044 = r4988017 * r4988043;
double r4988045 = r4988042 - r4988044;
double r4988046 = r4988034 * r4988024;
double r4988047 = r4988036 * r4988021;
double r4988048 = r4988046 - r4988047;
double r4988049 = r4988045 * r4988048;
double r4988050 = r4988040 + r4988049;
double r4988051 = r4988018 * r4988029;
double r4988052 = r4988015 * r4988031;
double r4988053 = r4988051 - r4988052;
double r4988054 = y4;
double r4988055 = r4988054 * r4988022;
double r4988056 = y5;
double r4988057 = r4988056 * r4988025;
double r4988058 = r4988055 - r4988057;
double r4988059 = r4988053 * r4988058;
double r4988060 = r4988050 + r4988059;
double r4988061 = r4988018 * r4988041;
double r4988062 = r4988015 * r4988043;
double r4988063 = r4988061 - r4988062;
double r4988064 = r4988054 * r4988024;
double r4988065 = r4988056 * r4988021;
double r4988066 = r4988064 - r4988065;
double r4988067 = r4988063 * r4988066;
double r4988068 = r4988060 - r4988067;
double r4988069 = r4988031 * r4988041;
double r4988070 = r4988029 * r4988043;
double r4988071 = r4988069 - r4988070;
double r4988072 = r4988054 * r4988036;
double r4988073 = r4988056 * r4988034;
double r4988074 = r4988072 - r4988073;
double r4988075 = r4988071 * r4988074;
double r4988076 = r4988068 + r4988075;
return r4988076;
}