x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r29436906 = x;
double r29436907 = y;
double r29436908 = r29436907 * r29436907;
double r29436909 = z;
double r29436910 = r29436909 * r29436909;
double r29436911 = r29436908 - r29436910;
double r29436912 = sqrt(r29436911);
double r29436913 = r29436906 * r29436912;
return r29436913;
}