x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r743286 = x;
double r743287 = y;
double r743288 = r743287 * r743287;
double r743289 = z;
double r743290 = r743289 * r743289;
double r743291 = r743288 - r743290;
double r743292 = sqrt(r743291);
double r743293 = r743286 * r743292;
return r743293;
}