\[\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 r148730 = x;
double r148731 = y;
double r148732 = r148730 * r148731;
double r148733 = z;
double r148734 = t;
double r148735 = r148733 * r148734;
double r148736 = r148732 - r148735;
double r148737 = a;
double r148738 = b;
double r148739 = r148737 * r148738;
double r148740 = c;
double r148741 = i;
double r148742 = r148740 * r148741;
double r148743 = r148739 - r148742;
double r148744 = r148736 * r148743;
double r148745 = j;
double r148746 = r148730 * r148745;
double r148747 = k;
double r148748 = r148733 * r148747;
double r148749 = r148746 - r148748;
double r148750 = y0;
double r148751 = r148750 * r148738;
double r148752 = y1;
double r148753 = r148752 * r148741;
double r148754 = r148751 - r148753;
double r148755 = r148749 * r148754;
double r148756 = r148744 - r148755;
double r148757 = y2;
double r148758 = r148730 * r148757;
double r148759 = y3;
double r148760 = r148733 * r148759;
double r148761 = r148758 - r148760;
double r148762 = r148750 * r148740;
double r148763 = r148752 * r148737;
double r148764 = r148762 - r148763;
double r148765 = r148761 * r148764;
double r148766 = r148756 + r148765;
double r148767 = r148734 * r148745;
double r148768 = r148731 * r148747;
double r148769 = r148767 - r148768;
double r148770 = y4;
double r148771 = r148770 * r148738;
double r148772 = y5;
double r148773 = r148772 * r148741;
double r148774 = r148771 - r148773;
double r148775 = r148769 * r148774;
double r148776 = r148766 + r148775;
double r148777 = r148734 * r148757;
double r148778 = r148731 * r148759;
double r148779 = r148777 - r148778;
double r148780 = r148770 * r148740;
double r148781 = r148772 * r148737;
double r148782 = r148780 - r148781;
double r148783 = r148779 * r148782;
double r148784 = r148776 - r148783;
double r148785 = r148747 * r148757;
double r148786 = r148745 * r148759;
double r148787 = r148785 - r148786;
double r148788 = r148770 * r148752;
double r148789 = r148772 * r148750;
double r148790 = r148788 - r148789;
double r148791 = r148787 * r148790;
double r148792 = r148784 + r148791;
return r148792;
}