\[\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 r1067714 = x;
double r1067715 = y;
double r1067716 = r1067714 * r1067715;
double r1067717 = z;
double r1067718 = t;
double r1067719 = r1067717 * r1067718;
double r1067720 = r1067716 - r1067719;
double r1067721 = a;
double r1067722 = b;
double r1067723 = r1067721 * r1067722;
double r1067724 = c;
double r1067725 = i;
double r1067726 = r1067724 * r1067725;
double r1067727 = r1067723 - r1067726;
double r1067728 = r1067720 * r1067727;
double r1067729 = j;
double r1067730 = r1067714 * r1067729;
double r1067731 = k;
double r1067732 = r1067717 * r1067731;
double r1067733 = r1067730 - r1067732;
double r1067734 = y0;
double r1067735 = r1067734 * r1067722;
double r1067736 = y1;
double r1067737 = r1067736 * r1067725;
double r1067738 = r1067735 - r1067737;
double r1067739 = r1067733 * r1067738;
double r1067740 = r1067728 - r1067739;
double r1067741 = y2;
double r1067742 = r1067714 * r1067741;
double r1067743 = y3;
double r1067744 = r1067717 * r1067743;
double r1067745 = r1067742 - r1067744;
double r1067746 = r1067734 * r1067724;
double r1067747 = r1067736 * r1067721;
double r1067748 = r1067746 - r1067747;
double r1067749 = r1067745 * r1067748;
double r1067750 = r1067740 + r1067749;
double r1067751 = r1067718 * r1067729;
double r1067752 = r1067715 * r1067731;
double r1067753 = r1067751 - r1067752;
double r1067754 = y4;
double r1067755 = r1067754 * r1067722;
double r1067756 = y5;
double r1067757 = r1067756 * r1067725;
double r1067758 = r1067755 - r1067757;
double r1067759 = r1067753 * r1067758;
double r1067760 = r1067750 + r1067759;
double r1067761 = r1067718 * r1067741;
double r1067762 = r1067715 * r1067743;
double r1067763 = r1067761 - r1067762;
double r1067764 = r1067754 * r1067724;
double r1067765 = r1067756 * r1067721;
double r1067766 = r1067764 - r1067765;
double r1067767 = r1067763 * r1067766;
double r1067768 = r1067760 - r1067767;
double r1067769 = r1067731 * r1067741;
double r1067770 = r1067729 * r1067743;
double r1067771 = r1067769 - r1067770;
double r1067772 = r1067754 * r1067736;
double r1067773 = r1067756 * r1067734;
double r1067774 = r1067772 - r1067773;
double r1067775 = r1067771 * r1067774;
double r1067776 = r1067768 + r1067775;
return r1067776;
}