\[\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 r256636 = x;
double r256637 = y;
double r256638 = r256636 * r256637;
double r256639 = z;
double r256640 = t;
double r256641 = r256639 * r256640;
double r256642 = r256638 - r256641;
double r256643 = a;
double r256644 = b;
double r256645 = r256643 * r256644;
double r256646 = c;
double r256647 = i;
double r256648 = r256646 * r256647;
double r256649 = r256645 - r256648;
double r256650 = r256642 * r256649;
double r256651 = j;
double r256652 = r256636 * r256651;
double r256653 = k;
double r256654 = r256639 * r256653;
double r256655 = r256652 - r256654;
double r256656 = y0;
double r256657 = r256656 * r256644;
double r256658 = y1;
double r256659 = r256658 * r256647;
double r256660 = r256657 - r256659;
double r256661 = r256655 * r256660;
double r256662 = r256650 - r256661;
double r256663 = y2;
double r256664 = r256636 * r256663;
double r256665 = y3;
double r256666 = r256639 * r256665;
double r256667 = r256664 - r256666;
double r256668 = r256656 * r256646;
double r256669 = r256658 * r256643;
double r256670 = r256668 - r256669;
double r256671 = r256667 * r256670;
double r256672 = r256662 + r256671;
double r256673 = r256640 * r256651;
double r256674 = r256637 * r256653;
double r256675 = r256673 - r256674;
double r256676 = y4;
double r256677 = r256676 * r256644;
double r256678 = y5;
double r256679 = r256678 * r256647;
double r256680 = r256677 - r256679;
double r256681 = r256675 * r256680;
double r256682 = r256672 + r256681;
double r256683 = r256640 * r256663;
double r256684 = r256637 * r256665;
double r256685 = r256683 - r256684;
double r256686 = r256676 * r256646;
double r256687 = r256678 * r256643;
double r256688 = r256686 - r256687;
double r256689 = r256685 * r256688;
double r256690 = r256682 - r256689;
double r256691 = r256653 * r256663;
double r256692 = r256651 * r256665;
double r256693 = r256691 - r256692;
double r256694 = r256676 * r256658;
double r256695 = r256678 * r256656;
double r256696 = r256694 - r256695;
double r256697 = r256693 * r256696;
double r256698 = r256690 + r256697;
return r256698;
}