\[\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 r151794 = x;
double r151795 = y;
double r151796 = r151794 * r151795;
double r151797 = z;
double r151798 = t;
double r151799 = r151797 * r151798;
double r151800 = r151796 - r151799;
double r151801 = a;
double r151802 = b;
double r151803 = r151801 * r151802;
double r151804 = c;
double r151805 = i;
double r151806 = r151804 * r151805;
double r151807 = r151803 - r151806;
double r151808 = r151800 * r151807;
double r151809 = j;
double r151810 = r151794 * r151809;
double r151811 = k;
double r151812 = r151797 * r151811;
double r151813 = r151810 - r151812;
double r151814 = y0;
double r151815 = r151814 * r151802;
double r151816 = y1;
double r151817 = r151816 * r151805;
double r151818 = r151815 - r151817;
double r151819 = r151813 * r151818;
double r151820 = r151808 - r151819;
double r151821 = y2;
double r151822 = r151794 * r151821;
double r151823 = y3;
double r151824 = r151797 * r151823;
double r151825 = r151822 - r151824;
double r151826 = r151814 * r151804;
double r151827 = r151816 * r151801;
double r151828 = r151826 - r151827;
double r151829 = r151825 * r151828;
double r151830 = r151820 + r151829;
double r151831 = r151798 * r151809;
double r151832 = r151795 * r151811;
double r151833 = r151831 - r151832;
double r151834 = y4;
double r151835 = r151834 * r151802;
double r151836 = y5;
double r151837 = r151836 * r151805;
double r151838 = r151835 - r151837;
double r151839 = r151833 * r151838;
double r151840 = r151830 + r151839;
double r151841 = r151798 * r151821;
double r151842 = r151795 * r151823;
double r151843 = r151841 - r151842;
double r151844 = r151834 * r151804;
double r151845 = r151836 * r151801;
double r151846 = r151844 - r151845;
double r151847 = r151843 * r151846;
double r151848 = r151840 - r151847;
double r151849 = r151811 * r151821;
double r151850 = r151809 * r151823;
double r151851 = r151849 - r151850;
double r151852 = r151834 * r151816;
double r151853 = r151836 * r151814;
double r151854 = r151852 - r151853;
double r151855 = r151851 * r151854;
double r151856 = r151848 + r151855;
return r151856;
}