x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r477437 = x;
double r477438 = y;
double r477439 = r477438 * r477438;
double r477440 = z;
double r477441 = r477440 * r477440;
double r477442 = r477439 - r477441;
double r477443 = sqrt(r477442);
double r477444 = r477437 * r477443;
return r477444;
}