x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r23154316 = x;
double r23154317 = y;
double r23154318 = r23154317 * r23154317;
double r23154319 = z;
double r23154320 = r23154319 * r23154319;
double r23154321 = r23154318 - r23154320;
double r23154322 = sqrt(r23154321);
double r23154323 = r23154316 * r23154322;
return r23154323;
}