\[\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 r145946 = x;
double r145947 = y;
double r145948 = r145946 * r145947;
double r145949 = z;
double r145950 = t;
double r145951 = r145949 * r145950;
double r145952 = r145948 - r145951;
double r145953 = a;
double r145954 = b;
double r145955 = r145953 * r145954;
double r145956 = c;
double r145957 = i;
double r145958 = r145956 * r145957;
double r145959 = r145955 - r145958;
double r145960 = r145952 * r145959;
double r145961 = j;
double r145962 = r145946 * r145961;
double r145963 = k;
double r145964 = r145949 * r145963;
double r145965 = r145962 - r145964;
double r145966 = y0;
double r145967 = r145966 * r145954;
double r145968 = y1;
double r145969 = r145968 * r145957;
double r145970 = r145967 - r145969;
double r145971 = r145965 * r145970;
double r145972 = r145960 - r145971;
double r145973 = y2;
double r145974 = r145946 * r145973;
double r145975 = y3;
double r145976 = r145949 * r145975;
double r145977 = r145974 - r145976;
double r145978 = r145966 * r145956;
double r145979 = r145968 * r145953;
double r145980 = r145978 - r145979;
double r145981 = r145977 * r145980;
double r145982 = r145972 + r145981;
double r145983 = r145950 * r145961;
double r145984 = r145947 * r145963;
double r145985 = r145983 - r145984;
double r145986 = y4;
double r145987 = r145986 * r145954;
double r145988 = y5;
double r145989 = r145988 * r145957;
double r145990 = r145987 - r145989;
double r145991 = r145985 * r145990;
double r145992 = r145982 + r145991;
double r145993 = r145950 * r145973;
double r145994 = r145947 * r145975;
double r145995 = r145993 - r145994;
double r145996 = r145986 * r145956;
double r145997 = r145988 * r145953;
double r145998 = r145996 - r145997;
double r145999 = r145995 * r145998;
double r146000 = r145992 - r145999;
double r146001 = r145963 * r145973;
double r146002 = r145961 * r145975;
double r146003 = r146001 - r146002;
double r146004 = r145986 * r145968;
double r146005 = r145988 * r145966;
double r146006 = r146004 - r146005;
double r146007 = r146003 * r146006;
double r146008 = r146000 + r146007;
return r146008;
}