x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r27996796 = x;
double r27996797 = y;
double r27996798 = r27996797 * r27996797;
double r27996799 = z;
double r27996800 = r27996799 * r27996799;
double r27996801 = r27996798 - r27996800;
double r27996802 = sqrt(r27996801);
double r27996803 = r27996796 * r27996802;
return r27996803;
}