2atan(tan(x/2) tan(y/2) cot(z/2))