x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r672597 = x;
double r672598 = y;
double r672599 = r672598 * r672598;
double r672600 = z;
double r672601 = r672600 * r672600;
double r672602 = r672599 - r672601;
double r672603 = sqrt(r672602);
double r672604 = r672597 * r672603;
return r672604;
}