x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r23372182 = x;
double r23372183 = y;
double r23372184 = r23372183 * r23372183;
double r23372185 = z;
double r23372186 = r23372185 * r23372185;
double r23372187 = r23372184 - r23372186;
double r23372188 = sqrt(r23372187);
double r23372189 = r23372182 * r23372188;
return r23372189;
}