x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r664216 = x;
double r664217 = y;
double r664218 = r664217 * r664217;
double r664219 = z;
double r664220 = r664219 * r664219;
double r664221 = r664218 - r664220;
double r664222 = sqrt(r664221);
double r664223 = r664216 * r664222;
return r664223;
}