x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r1147780 = x;
double r1147781 = y;
double r1147782 = r1147781 * r1147781;
double r1147783 = z;
double r1147784 = r1147783 * r1147783;
double r1147785 = r1147782 - r1147784;
double r1147786 = sqrt(r1147785);
double r1147787 = r1147780 * r1147786;
return r1147787;
}