\[\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 r39671677 = x;
double r39671678 = y;
double r39671679 = r39671677 * r39671678;
double r39671680 = z;
double r39671681 = t;
double r39671682 = r39671680 * r39671681;
double r39671683 = r39671679 - r39671682;
double r39671684 = a;
double r39671685 = b;
double r39671686 = r39671684 * r39671685;
double r39671687 = c;
double r39671688 = i;
double r39671689 = r39671687 * r39671688;
double r39671690 = r39671686 - r39671689;
double r39671691 = r39671683 * r39671690;
double r39671692 = j;
double r39671693 = r39671677 * r39671692;
double r39671694 = k;
double r39671695 = r39671680 * r39671694;
double r39671696 = r39671693 - r39671695;
double r39671697 = y0;
double r39671698 = r39671697 * r39671685;
double r39671699 = y1;
double r39671700 = r39671699 * r39671688;
double r39671701 = r39671698 - r39671700;
double r39671702 = r39671696 * r39671701;
double r39671703 = r39671691 - r39671702;
double r39671704 = y2;
double r39671705 = r39671677 * r39671704;
double r39671706 = y3;
double r39671707 = r39671680 * r39671706;
double r39671708 = r39671705 - r39671707;
double r39671709 = r39671697 * r39671687;
double r39671710 = r39671699 * r39671684;
double r39671711 = r39671709 - r39671710;
double r39671712 = r39671708 * r39671711;
double r39671713 = r39671703 + r39671712;
double r39671714 = r39671681 * r39671692;
double r39671715 = r39671678 * r39671694;
double r39671716 = r39671714 - r39671715;
double r39671717 = y4;
double r39671718 = r39671717 * r39671685;
double r39671719 = y5;
double r39671720 = r39671719 * r39671688;
double r39671721 = r39671718 - r39671720;
double r39671722 = r39671716 * r39671721;
double r39671723 = r39671713 + r39671722;
double r39671724 = r39671681 * r39671704;
double r39671725 = r39671678 * r39671706;
double r39671726 = r39671724 - r39671725;
double r39671727 = r39671717 * r39671687;
double r39671728 = r39671719 * r39671684;
double r39671729 = r39671727 - r39671728;
double r39671730 = r39671726 * r39671729;
double r39671731 = r39671723 - r39671730;
double r39671732 = r39671694 * r39671704;
double r39671733 = r39671692 * r39671706;
double r39671734 = r39671732 - r39671733;
double r39671735 = r39671717 * r39671699;
double r39671736 = r39671719 * r39671697;
double r39671737 = r39671735 - r39671736;
double r39671738 = r39671734 * r39671737;
double r39671739 = r39671731 + r39671738;
return r39671739;
}