x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r28549303 = x;
double r28549304 = y;
double r28549305 = r28549304 * r28549304;
double r28549306 = z;
double r28549307 = r28549306 * r28549306;
double r28549308 = r28549305 - r28549307;
double r28549309 = sqrt(r28549308);
double r28549310 = r28549303 * r28549309;
return r28549310;
}