x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r908383 = x;
double r908384 = y;
double r908385 = r908384 * r908384;
double r908386 = z;
double r908387 = r908386 * r908386;
double r908388 = r908385 - r908387;
double r908389 = sqrt(r908388);
double r908390 = r908383 * r908389;
return r908390;
}