\[\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 r16367958 = x;
double r16367959 = y;
double r16367960 = r16367958 * r16367959;
double r16367961 = z;
double r16367962 = t;
double r16367963 = r16367961 * r16367962;
double r16367964 = r16367960 - r16367963;
double r16367965 = a;
double r16367966 = b;
double r16367967 = r16367965 * r16367966;
double r16367968 = c;
double r16367969 = i;
double r16367970 = r16367968 * r16367969;
double r16367971 = r16367967 - r16367970;
double r16367972 = r16367964 * r16367971;
double r16367973 = j;
double r16367974 = r16367958 * r16367973;
double r16367975 = k;
double r16367976 = r16367961 * r16367975;
double r16367977 = r16367974 - r16367976;
double r16367978 = y0;
double r16367979 = r16367978 * r16367966;
double r16367980 = y1;
double r16367981 = r16367980 * r16367969;
double r16367982 = r16367979 - r16367981;
double r16367983 = r16367977 * r16367982;
double r16367984 = r16367972 - r16367983;
double r16367985 = y2;
double r16367986 = r16367958 * r16367985;
double r16367987 = y3;
double r16367988 = r16367961 * r16367987;
double r16367989 = r16367986 - r16367988;
double r16367990 = r16367978 * r16367968;
double r16367991 = r16367980 * r16367965;
double r16367992 = r16367990 - r16367991;
double r16367993 = r16367989 * r16367992;
double r16367994 = r16367984 + r16367993;
double r16367995 = r16367962 * r16367973;
double r16367996 = r16367959 * r16367975;
double r16367997 = r16367995 - r16367996;
double r16367998 = y4;
double r16367999 = r16367998 * r16367966;
double r16368000 = y5;
double r16368001 = r16368000 * r16367969;
double r16368002 = r16367999 - r16368001;
double r16368003 = r16367997 * r16368002;
double r16368004 = r16367994 + r16368003;
double r16368005 = r16367962 * r16367985;
double r16368006 = r16367959 * r16367987;
double r16368007 = r16368005 - r16368006;
double r16368008 = r16367998 * r16367968;
double r16368009 = r16368000 * r16367965;
double r16368010 = r16368008 - r16368009;
double r16368011 = r16368007 * r16368010;
double r16368012 = r16368004 - r16368011;
double r16368013 = r16367975 * r16367985;
double r16368014 = r16367973 * r16367987;
double r16368015 = r16368013 - r16368014;
double r16368016 = r16367998 * r16367980;
double r16368017 = r16368000 * r16367978;
double r16368018 = r16368016 - r16368017;
double r16368019 = r16368015 * r16368018;
double r16368020 = r16368012 + r16368019;
return r16368020;
}