x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r448037 = x;
double r448038 = y;
double r448039 = r448038 * r448038;
double r448040 = z;
double r448041 = r448040 * r448040;
double r448042 = r448039 - r448041;
double r448043 = sqrt(r448042);
double r448044 = r448037 * r448043;
return r448044;
}