x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r388556 = x;
double r388557 = y;
double r388558 = r388557 * r388557;
double r388559 = z;
double r388560 = r388559 * r388559;
double r388561 = r388558 - r388560;
double r388562 = sqrt(r388561);
double r388563 = r388556 * r388562;
return r388563;
}