\[\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 r449727 = x;
double r449728 = y;
double r449729 = r449727 * r449728;
double r449730 = z;
double r449731 = t;
double r449732 = r449730 * r449731;
double r449733 = r449729 - r449732;
double r449734 = a;
double r449735 = b;
double r449736 = r449734 * r449735;
double r449737 = c;
double r449738 = i;
double r449739 = r449737 * r449738;
double r449740 = r449736 - r449739;
double r449741 = r449733 * r449740;
double r449742 = j;
double r449743 = r449727 * r449742;
double r449744 = k;
double r449745 = r449730 * r449744;
double r449746 = r449743 - r449745;
double r449747 = y0;
double r449748 = r449747 * r449735;
double r449749 = y1;
double r449750 = r449749 * r449738;
double r449751 = r449748 - r449750;
double r449752 = r449746 * r449751;
double r449753 = r449741 - r449752;
double r449754 = y2;
double r449755 = r449727 * r449754;
double r449756 = y3;
double r449757 = r449730 * r449756;
double r449758 = r449755 - r449757;
double r449759 = r449747 * r449737;
double r449760 = r449749 * r449734;
double r449761 = r449759 - r449760;
double r449762 = r449758 * r449761;
double r449763 = r449753 + r449762;
double r449764 = r449731 * r449742;
double r449765 = r449728 * r449744;
double r449766 = r449764 - r449765;
double r449767 = y4;
double r449768 = r449767 * r449735;
double r449769 = y5;
double r449770 = r449769 * r449738;
double r449771 = r449768 - r449770;
double r449772 = r449766 * r449771;
double r449773 = r449763 + r449772;
double r449774 = r449731 * r449754;
double r449775 = r449728 * r449756;
double r449776 = r449774 - r449775;
double r449777 = r449767 * r449737;
double r449778 = r449769 * r449734;
double r449779 = r449777 - r449778;
double r449780 = r449776 * r449779;
double r449781 = r449773 - r449780;
double r449782 = r449744 * r449754;
double r449783 = r449742 * r449756;
double r449784 = r449782 - r449783;
double r449785 = r449767 * r449749;
double r449786 = r449769 * r449747;
double r449787 = r449785 - r449786;
double r449788 = r449784 * r449787;
double r449789 = r449781 + r449788;
return r449789;
}