\[\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 r8588851 = x;
double r8588852 = y;
double r8588853 = r8588851 * r8588852;
double r8588854 = z;
double r8588855 = t;
double r8588856 = r8588854 * r8588855;
double r8588857 = r8588853 - r8588856;
double r8588858 = a;
double r8588859 = b;
double r8588860 = r8588858 * r8588859;
double r8588861 = c;
double r8588862 = i;
double r8588863 = r8588861 * r8588862;
double r8588864 = r8588860 - r8588863;
double r8588865 = r8588857 * r8588864;
double r8588866 = j;
double r8588867 = r8588851 * r8588866;
double r8588868 = k;
double r8588869 = r8588854 * r8588868;
double r8588870 = r8588867 - r8588869;
double r8588871 = y0;
double r8588872 = r8588871 * r8588859;
double r8588873 = y1;
double r8588874 = r8588873 * r8588862;
double r8588875 = r8588872 - r8588874;
double r8588876 = r8588870 * r8588875;
double r8588877 = r8588865 - r8588876;
double r8588878 = y2;
double r8588879 = r8588851 * r8588878;
double r8588880 = y3;
double r8588881 = r8588854 * r8588880;
double r8588882 = r8588879 - r8588881;
double r8588883 = r8588871 * r8588861;
double r8588884 = r8588873 * r8588858;
double r8588885 = r8588883 - r8588884;
double r8588886 = r8588882 * r8588885;
double r8588887 = r8588877 + r8588886;
double r8588888 = r8588855 * r8588866;
double r8588889 = r8588852 * r8588868;
double r8588890 = r8588888 - r8588889;
double r8588891 = y4;
double r8588892 = r8588891 * r8588859;
double r8588893 = y5;
double r8588894 = r8588893 * r8588862;
double r8588895 = r8588892 - r8588894;
double r8588896 = r8588890 * r8588895;
double r8588897 = r8588887 + r8588896;
double r8588898 = r8588855 * r8588878;
double r8588899 = r8588852 * r8588880;
double r8588900 = r8588898 - r8588899;
double r8588901 = r8588891 * r8588861;
double r8588902 = r8588893 * r8588858;
double r8588903 = r8588901 - r8588902;
double r8588904 = r8588900 * r8588903;
double r8588905 = r8588897 - r8588904;
double r8588906 = r8588868 * r8588878;
double r8588907 = r8588866 * r8588880;
double r8588908 = r8588906 - r8588907;
double r8588909 = r8588891 * r8588873;
double r8588910 = r8588893 * r8588871;
double r8588911 = r8588909 - r8588910;
double r8588912 = r8588908 * r8588911;
double r8588913 = r8588905 + r8588912;
return r8588913;
}