x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r607237 = x;
double r607238 = y;
double r607239 = r607238 * r607238;
double r607240 = z;
double r607241 = r607240 * r607240;
double r607242 = r607239 - r607241;
double r607243 = sqrt(r607242);
double r607244 = r607237 * r607243;
return r607244;
}