x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r878946 = x;
double r878947 = y;
double r878948 = r878947 * r878947;
double r878949 = z;
double r878950 = r878949 * r878949;
double r878951 = r878948 - r878950;
double r878952 = sqrt(r878951);
double r878953 = r878946 * r878952;
return r878953;
}