x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r783233 = x;
double r783234 = y;
double r783235 = r783234 * r783234;
double r783236 = z;
double r783237 = r783236 * r783236;
double r783238 = r783235 - r783237;
double r783239 = sqrt(r783238);
double r783240 = r783233 * r783239;
return r783240;
}