x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r747393 = x;
double r747394 = y;
double r747395 = r747394 * r747394;
double r747396 = z;
double r747397 = r747396 * r747396;
double r747398 = r747395 - r747397;
double r747399 = sqrt(r747398);
double r747400 = r747393 * r747399;
return r747400;
}