x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r738488 = x;
double r738489 = y;
double r738490 = r738489 * r738489;
double r738491 = z;
double r738492 = r738491 * r738491;
double r738493 = r738490 - r738492;
double r738494 = sqrt(r738493);
double r738495 = r738488 * r738494;
return r738495;
}