x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r581207 = x;
double r581208 = y;
double r581209 = r581208 * r581208;
double r581210 = z;
double r581211 = r581210 * r581210;
double r581212 = r581209 - r581211;
double r581213 = sqrt(r581212);
double r581214 = r581207 * r581213;
return r581214;
}