x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r40563562 = x;
double r40563563 = y;
double r40563564 = r40563563 * r40563563;
double r40563565 = z;
double r40563566 = r40563565 * r40563565;
double r40563567 = r40563564 - r40563566;
double r40563568 = sqrt(r40563567);
double r40563569 = r40563562 * r40563568;
return r40563569;
}