\[\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 r130820 = x;
double r130821 = y;
double r130822 = r130820 * r130821;
double r130823 = z;
double r130824 = t;
double r130825 = r130823 * r130824;
double r130826 = r130822 - r130825;
double r130827 = a;
double r130828 = b;
double r130829 = r130827 * r130828;
double r130830 = c;
double r130831 = i;
double r130832 = r130830 * r130831;
double r130833 = r130829 - r130832;
double r130834 = r130826 * r130833;
double r130835 = j;
double r130836 = r130820 * r130835;
double r130837 = k;
double r130838 = r130823 * r130837;
double r130839 = r130836 - r130838;
double r130840 = y0;
double r130841 = r130840 * r130828;
double r130842 = y1;
double r130843 = r130842 * r130831;
double r130844 = r130841 - r130843;
double r130845 = r130839 * r130844;
double r130846 = r130834 - r130845;
double r130847 = y2;
double r130848 = r130820 * r130847;
double r130849 = y3;
double r130850 = r130823 * r130849;
double r130851 = r130848 - r130850;
double r130852 = r130840 * r130830;
double r130853 = r130842 * r130827;
double r130854 = r130852 - r130853;
double r130855 = r130851 * r130854;
double r130856 = r130846 + r130855;
double r130857 = r130824 * r130835;
double r130858 = r130821 * r130837;
double r130859 = r130857 - r130858;
double r130860 = y4;
double r130861 = r130860 * r130828;
double r130862 = y5;
double r130863 = r130862 * r130831;
double r130864 = r130861 - r130863;
double r130865 = r130859 * r130864;
double r130866 = r130856 + r130865;
double r130867 = r130824 * r130847;
double r130868 = r130821 * r130849;
double r130869 = r130867 - r130868;
double r130870 = r130860 * r130830;
double r130871 = r130862 * r130827;
double r130872 = r130870 - r130871;
double r130873 = r130869 * r130872;
double r130874 = r130866 - r130873;
double r130875 = r130837 * r130847;
double r130876 = r130835 * r130849;
double r130877 = r130875 - r130876;
double r130878 = r130860 * r130842;
double r130879 = r130862 * r130840;
double r130880 = r130878 - r130879;
double r130881 = r130877 * r130880;
double r130882 = r130874 + r130881;
return r130882;
}