x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r675274 = x;
double r675275 = y;
double r675276 = r675275 * r675275;
double r675277 = z;
double r675278 = r675277 * r675277;
double r675279 = r675276 - r675278;
double r675280 = sqrt(r675279);
double r675281 = r675274 * r675280;
return r675281;
}