x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r626294 = x;
double r626295 = y;
double r626296 = r626295 * r626295;
double r626297 = z;
double r626298 = r626297 * r626297;
double r626299 = r626296 - r626298;
double r626300 = sqrt(r626299);
double r626301 = r626294 * r626300;
return r626301;
}