x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r28342378 = x;
double r28342379 = y;
double r28342380 = r28342379 * r28342379;
double r28342381 = z;
double r28342382 = r28342381 * r28342381;
double r28342383 = r28342380 - r28342382;
double r28342384 = sqrt(r28342383);
double r28342385 = r28342378 * r28342384;
return r28342385;
}