x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r493421 = x;
double r493422 = y;
double r493423 = r493422 * r493422;
double r493424 = z;
double r493425 = r493424 * r493424;
double r493426 = r493423 - r493425;
double r493427 = sqrt(r493426);
double r493428 = r493421 * r493427;
return r493428;
}