\[\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 r86997737 = x;
double r86997738 = y;
double r86997739 = r86997737 * r86997738;
double r86997740 = z;
double r86997741 = t;
double r86997742 = r86997740 * r86997741;
double r86997743 = r86997739 - r86997742;
double r86997744 = a;
double r86997745 = b;
double r86997746 = r86997744 * r86997745;
double r86997747 = c;
double r86997748 = i;
double r86997749 = r86997747 * r86997748;
double r86997750 = r86997746 - r86997749;
double r86997751 = r86997743 * r86997750;
double r86997752 = j;
double r86997753 = r86997737 * r86997752;
double r86997754 = k;
double r86997755 = r86997740 * r86997754;
double r86997756 = r86997753 - r86997755;
double r86997757 = y0;
double r86997758 = r86997757 * r86997745;
double r86997759 = y1;
double r86997760 = r86997759 * r86997748;
double r86997761 = r86997758 - r86997760;
double r86997762 = r86997756 * r86997761;
double r86997763 = r86997751 - r86997762;
double r86997764 = y2;
double r86997765 = r86997737 * r86997764;
double r86997766 = y3;
double r86997767 = r86997740 * r86997766;
double r86997768 = r86997765 - r86997767;
double r86997769 = r86997757 * r86997747;
double r86997770 = r86997759 * r86997744;
double r86997771 = r86997769 - r86997770;
double r86997772 = r86997768 * r86997771;
double r86997773 = r86997763 + r86997772;
double r86997774 = r86997741 * r86997752;
double r86997775 = r86997738 * r86997754;
double r86997776 = r86997774 - r86997775;
double r86997777 = y4;
double r86997778 = r86997777 * r86997745;
double r86997779 = y5;
double r86997780 = r86997779 * r86997748;
double r86997781 = r86997778 - r86997780;
double r86997782 = r86997776 * r86997781;
double r86997783 = r86997773 + r86997782;
double r86997784 = r86997741 * r86997764;
double r86997785 = r86997738 * r86997766;
double r86997786 = r86997784 - r86997785;
double r86997787 = r86997777 * r86997747;
double r86997788 = r86997779 * r86997744;
double r86997789 = r86997787 - r86997788;
double r86997790 = r86997786 * r86997789;
double r86997791 = r86997783 - r86997790;
double r86997792 = r86997754 * r86997764;
double r86997793 = r86997752 * r86997766;
double r86997794 = r86997792 - r86997793;
double r86997795 = r86997777 * r86997759;
double r86997796 = r86997779 * r86997757;
double r86997797 = r86997795 - r86997796;
double r86997798 = r86997794 * r86997797;
double r86997799 = r86997791 + r86997798;
return r86997799;
}