x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r438366 = x;
double r438367 = y;
double r438368 = r438367 * r438367;
double r438369 = z;
double r438370 = r438369 * r438369;
double r438371 = r438368 - r438370;
double r438372 = sqrt(r438371);
double r438373 = r438366 * r438372;
return r438373;
}