x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r678467 = x;
double r678468 = y;
double r678469 = r678468 * r678468;
double r678470 = z;
double r678471 = r678470 * r678470;
double r678472 = r678469 - r678471;
double r678473 = sqrt(r678472);
double r678474 = r678467 * r678473;
return r678474;
}