\[\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 r146749 = x;
double r146750 = y;
double r146751 = r146749 * r146750;
double r146752 = z;
double r146753 = t;
double r146754 = r146752 * r146753;
double r146755 = r146751 - r146754;
double r146756 = a;
double r146757 = b;
double r146758 = r146756 * r146757;
double r146759 = c;
double r146760 = i;
double r146761 = r146759 * r146760;
double r146762 = r146758 - r146761;
double r146763 = r146755 * r146762;
double r146764 = j;
double r146765 = r146749 * r146764;
double r146766 = k;
double r146767 = r146752 * r146766;
double r146768 = r146765 - r146767;
double r146769 = y0;
double r146770 = r146769 * r146757;
double r146771 = y1;
double r146772 = r146771 * r146760;
double r146773 = r146770 - r146772;
double r146774 = r146768 * r146773;
double r146775 = r146763 - r146774;
double r146776 = y2;
double r146777 = r146749 * r146776;
double r146778 = y3;
double r146779 = r146752 * r146778;
double r146780 = r146777 - r146779;
double r146781 = r146769 * r146759;
double r146782 = r146771 * r146756;
double r146783 = r146781 - r146782;
double r146784 = r146780 * r146783;
double r146785 = r146775 + r146784;
double r146786 = r146753 * r146764;
double r146787 = r146750 * r146766;
double r146788 = r146786 - r146787;
double r146789 = y4;
double r146790 = r146789 * r146757;
double r146791 = y5;
double r146792 = r146791 * r146760;
double r146793 = r146790 - r146792;
double r146794 = r146788 * r146793;
double r146795 = r146785 + r146794;
double r146796 = r146753 * r146776;
double r146797 = r146750 * r146778;
double r146798 = r146796 - r146797;
double r146799 = r146789 * r146759;
double r146800 = r146791 * r146756;
double r146801 = r146799 - r146800;
double r146802 = r146798 * r146801;
double r146803 = r146795 - r146802;
double r146804 = r146766 * r146776;
double r146805 = r146764 * r146778;
double r146806 = r146804 - r146805;
double r146807 = r146789 * r146771;
double r146808 = r146791 * r146769;
double r146809 = r146807 - r146808;
double r146810 = r146806 * r146809;
double r146811 = r146803 + r146810;
return r146811;
}