x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r738478 = x;
double r738479 = y;
double r738480 = r738479 * r738479;
double r738481 = z;
double r738482 = r738481 * r738481;
double r738483 = r738480 - r738482;
double r738484 = sqrt(r738483);
double r738485 = r738478 * r738484;
return r738485;
}