If x=2cos−1[12]+sin−1[1√2]+tan−1(√3) and y=cos[12sin−1[sinx2]] then which of the following statements holds good ?
If x=tan−117 and y=tan−113, then