x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r637401 = x;
double r637402 = y;
double r637403 = r637402 * r637402;
double r637404 = z;
double r637405 = r637404 * r637404;
double r637406 = r637403 - r637405;
double r637407 = sqrt(r637406);
double r637408 = r637401 * r637407;
return r637408;
}