x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r648345 = x;
double r648346 = y;
double r648347 = r648346 * r648346;
double r648348 = z;
double r648349 = r648348 * r648348;
double r648350 = r648347 - r648349;
double r648351 = sqrt(r648350);
double r648352 = r648345 * r648351;
return r648352;
}