x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r567426 = x;
double r567427 = y;
double r567428 = r567427 * r567427;
double r567429 = z;
double r567430 = r567429 * r567429;
double r567431 = r567428 - r567430;
double r567432 = sqrt(r567431);
double r567433 = r567426 * r567432;
return r567433;
}