\[\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 r734967 = x;
double r734968 = y;
double r734969 = r734967 * r734968;
double r734970 = z;
double r734971 = t;
double r734972 = r734970 * r734971;
double r734973 = r734969 - r734972;
double r734974 = a;
double r734975 = b;
double r734976 = r734974 * r734975;
double r734977 = c;
double r734978 = i;
double r734979 = r734977 * r734978;
double r734980 = r734976 - r734979;
double r734981 = r734973 * r734980;
double r734982 = j;
double r734983 = r734967 * r734982;
double r734984 = k;
double r734985 = r734970 * r734984;
double r734986 = r734983 - r734985;
double r734987 = y0;
double r734988 = r734987 * r734975;
double r734989 = y1;
double r734990 = r734989 * r734978;
double r734991 = r734988 - r734990;
double r734992 = r734986 * r734991;
double r734993 = r734981 - r734992;
double r734994 = y2;
double r734995 = r734967 * r734994;
double r734996 = y3;
double r734997 = r734970 * r734996;
double r734998 = r734995 - r734997;
double r734999 = r734987 * r734977;
double r735000 = r734989 * r734974;
double r735001 = r734999 - r735000;
double r735002 = r734998 * r735001;
double r735003 = r734993 + r735002;
double r735004 = r734971 * r734982;
double r735005 = r734968 * r734984;
double r735006 = r735004 - r735005;
double r735007 = y4;
double r735008 = r735007 * r734975;
double r735009 = y5;
double r735010 = r735009 * r734978;
double r735011 = r735008 - r735010;
double r735012 = r735006 * r735011;
double r735013 = r735003 + r735012;
double r735014 = r734971 * r734994;
double r735015 = r734968 * r734996;
double r735016 = r735014 - r735015;
double r735017 = r735007 * r734977;
double r735018 = r735009 * r734974;
double r735019 = r735017 - r735018;
double r735020 = r735016 * r735019;
double r735021 = r735013 - r735020;
double r735022 = r734984 * r734994;
double r735023 = r734982 * r734996;
double r735024 = r735022 - r735023;
double r735025 = r735007 * r734989;
double r735026 = r735009 * r734987;
double r735027 = r735025 - r735026;
double r735028 = r735024 * r735027;
double r735029 = r735021 + r735028;
return r735029;
}