x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r25649754 = x;
double r25649755 = y;
double r25649756 = r25649755 * r25649755;
double r25649757 = z;
double r25649758 = r25649757 * r25649757;
double r25649759 = r25649756 - r25649758;
double r25649760 = sqrt(r25649759);
double r25649761 = r25649754 * r25649760;
return r25649761;
}