x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r858240 = x;
double r858241 = y;
double r858242 = r858241 * r858241;
double r858243 = z;
double r858244 = r858243 * r858243;
double r858245 = r858242 - r858244;
double r858246 = sqrt(r858245);
double r858247 = r858240 * r858246;
return r858247;
}