Prove the following :
cos[tan^-1{sin(cot^-1x)}] = root(1+x²/2+x²)