x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r26358024 = x;
double r26358025 = y;
double r26358026 = r26358025 * r26358025;
double r26358027 = z;
double r26358028 = r26358027 * r26358027;
double r26358029 = r26358026 - r26358028;
double r26358030 = sqrt(r26358029);
double r26358031 = r26358024 * r26358030;
return r26358031;
}