x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r620422 = x;
double r620423 = y;
double r620424 = r620423 * r620423;
double r620425 = z;
double r620426 = r620425 * r620425;
double r620427 = r620424 - r620426;
double r620428 = sqrt(r620427);
double r620429 = r620422 * r620428;
return r620429;
}