x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r459392 = x;
double r459393 = y;
double r459394 = r459393 * r459393;
double r459395 = z;
double r459396 = r459395 * r459395;
double r459397 = r459394 - r459396;
double r459398 = sqrt(r459397);
double r459399 = r459392 * r459398;
return r459399;
}