x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r1379854 = x;
double r1379855 = y;
double r1379856 = r1379855 * r1379855;
double r1379857 = z;
double r1379858 = r1379857 * r1379857;
double r1379859 = r1379856 - r1379858;
double r1379860 = sqrt(r1379859);
double r1379861 = r1379854 * r1379860;
return r1379861;
}