\[\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 r528576 = x;
double r528577 = y;
double r528578 = r528576 * r528577;
double r528579 = z;
double r528580 = t;
double r528581 = r528579 * r528580;
double r528582 = r528578 - r528581;
double r528583 = a;
double r528584 = b;
double r528585 = r528583 * r528584;
double r528586 = c;
double r528587 = i;
double r528588 = r528586 * r528587;
double r528589 = r528585 - r528588;
double r528590 = r528582 * r528589;
double r528591 = j;
double r528592 = r528576 * r528591;
double r528593 = k;
double r528594 = r528579 * r528593;
double r528595 = r528592 - r528594;
double r528596 = y0;
double r528597 = r528596 * r528584;
double r528598 = y1;
double r528599 = r528598 * r528587;
double r528600 = r528597 - r528599;
double r528601 = r528595 * r528600;
double r528602 = r528590 - r528601;
double r528603 = y2;
double r528604 = r528576 * r528603;
double r528605 = y3;
double r528606 = r528579 * r528605;
double r528607 = r528604 - r528606;
double r528608 = r528596 * r528586;
double r528609 = r528598 * r528583;
double r528610 = r528608 - r528609;
double r528611 = r528607 * r528610;
double r528612 = r528602 + r528611;
double r528613 = r528580 * r528591;
double r528614 = r528577 * r528593;
double r528615 = r528613 - r528614;
double r528616 = y4;
double r528617 = r528616 * r528584;
double r528618 = y5;
double r528619 = r528618 * r528587;
double r528620 = r528617 - r528619;
double r528621 = r528615 * r528620;
double r528622 = r528612 + r528621;
double r528623 = r528580 * r528603;
double r528624 = r528577 * r528605;
double r528625 = r528623 - r528624;
double r528626 = r528616 * r528586;
double r528627 = r528618 * r528583;
double r528628 = r528626 - r528627;
double r528629 = r528625 * r528628;
double r528630 = r528622 - r528629;
double r528631 = r528593 * r528603;
double r528632 = r528591 * r528605;
double r528633 = r528631 - r528632;
double r528634 = r528616 * r528598;
double r528635 = r528618 * r528596;
double r528636 = r528634 - r528635;
double r528637 = r528633 * r528636;
double r528638 = r528630 + r528637;
return r528638;
}