x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r663375 = x;
double r663376 = y;
double r663377 = r663376 * r663376;
double r663378 = z;
double r663379 = r663378 * r663378;
double r663380 = r663377 - r663379;
double r663381 = sqrt(r663380);
double r663382 = r663375 * r663381;
return r663382;
}