\[\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 r465069 = x;
double r465070 = y;
double r465071 = r465069 * r465070;
double r465072 = z;
double r465073 = t;
double r465074 = r465072 * r465073;
double r465075 = r465071 - r465074;
double r465076 = a;
double r465077 = b;
double r465078 = r465076 * r465077;
double r465079 = c;
double r465080 = i;
double r465081 = r465079 * r465080;
double r465082 = r465078 - r465081;
double r465083 = r465075 * r465082;
double r465084 = j;
double r465085 = r465069 * r465084;
double r465086 = k;
double r465087 = r465072 * r465086;
double r465088 = r465085 - r465087;
double r465089 = y0;
double r465090 = r465089 * r465077;
double r465091 = y1;
double r465092 = r465091 * r465080;
double r465093 = r465090 - r465092;
double r465094 = r465088 * r465093;
double r465095 = r465083 - r465094;
double r465096 = y2;
double r465097 = r465069 * r465096;
double r465098 = y3;
double r465099 = r465072 * r465098;
double r465100 = r465097 - r465099;
double r465101 = r465089 * r465079;
double r465102 = r465091 * r465076;
double r465103 = r465101 - r465102;
double r465104 = r465100 * r465103;
double r465105 = r465095 + r465104;
double r465106 = r465073 * r465084;
double r465107 = r465070 * r465086;
double r465108 = r465106 - r465107;
double r465109 = y4;
double r465110 = r465109 * r465077;
double r465111 = y5;
double r465112 = r465111 * r465080;
double r465113 = r465110 - r465112;
double r465114 = r465108 * r465113;
double r465115 = r465105 + r465114;
double r465116 = r465073 * r465096;
double r465117 = r465070 * r465098;
double r465118 = r465116 - r465117;
double r465119 = r465109 * r465079;
double r465120 = r465111 * r465076;
double r465121 = r465119 - r465120;
double r465122 = r465118 * r465121;
double r465123 = r465115 - r465122;
double r465124 = r465086 * r465096;
double r465125 = r465084 * r465098;
double r465126 = r465124 - r465125;
double r465127 = r465109 * r465091;
double r465128 = r465111 * r465089;
double r465129 = r465127 - r465128;
double r465130 = r465126 * r465129;
double r465131 = r465123 + r465130;
return r465131;
}