x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r387494 = x;
double r387495 = y;
double r387496 = r387495 * r387495;
double r387497 = z;
double r387498 = r387497 * r387497;
double r387499 = r387496 - r387498;
double r387500 = sqrt(r387499);
double r387501 = r387494 * r387500;
return r387501;
}