\[\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 r29549091 = x;
double r29549092 = y;
double r29549093 = r29549091 * r29549092;
double r29549094 = z;
double r29549095 = t;
double r29549096 = r29549094 * r29549095;
double r29549097 = r29549093 - r29549096;
double r29549098 = a;
double r29549099 = b;
double r29549100 = r29549098 * r29549099;
double r29549101 = c;
double r29549102 = i;
double r29549103 = r29549101 * r29549102;
double r29549104 = r29549100 - r29549103;
double r29549105 = r29549097 * r29549104;
double r29549106 = j;
double r29549107 = r29549091 * r29549106;
double r29549108 = k;
double r29549109 = r29549094 * r29549108;
double r29549110 = r29549107 - r29549109;
double r29549111 = y0;
double r29549112 = r29549111 * r29549099;
double r29549113 = y1;
double r29549114 = r29549113 * r29549102;
double r29549115 = r29549112 - r29549114;
double r29549116 = r29549110 * r29549115;
double r29549117 = r29549105 - r29549116;
double r29549118 = y2;
double r29549119 = r29549091 * r29549118;
double r29549120 = y3;
double r29549121 = r29549094 * r29549120;
double r29549122 = r29549119 - r29549121;
double r29549123 = r29549111 * r29549101;
double r29549124 = r29549113 * r29549098;
double r29549125 = r29549123 - r29549124;
double r29549126 = r29549122 * r29549125;
double r29549127 = r29549117 + r29549126;
double r29549128 = r29549095 * r29549106;
double r29549129 = r29549092 * r29549108;
double r29549130 = r29549128 - r29549129;
double r29549131 = y4;
double r29549132 = r29549131 * r29549099;
double r29549133 = y5;
double r29549134 = r29549133 * r29549102;
double r29549135 = r29549132 - r29549134;
double r29549136 = r29549130 * r29549135;
double r29549137 = r29549127 + r29549136;
double r29549138 = r29549095 * r29549118;
double r29549139 = r29549092 * r29549120;
double r29549140 = r29549138 - r29549139;
double r29549141 = r29549131 * r29549101;
double r29549142 = r29549133 * r29549098;
double r29549143 = r29549141 - r29549142;
double r29549144 = r29549140 * r29549143;
double r29549145 = r29549137 - r29549144;
double r29549146 = r29549108 * r29549118;
double r29549147 = r29549106 * r29549120;
double r29549148 = r29549146 - r29549147;
double r29549149 = r29549131 * r29549113;
double r29549150 = r29549133 * r29549111;
double r29549151 = r29549149 - r29549150;
double r29549152 = r29549148 * r29549151;
double r29549153 = r29549145 + r29549152;
return r29549153;
}