If `y=cot^(-1)(sqrt(cos"x"))-tan^(-1)(sqrt(cos"x")),` prove that `siny=tan^2(x/2)`

Explanation

`y=\cot ^{-1}(\sqrt{\cos x})-\tan ^{-1}(\sqrt{\cos x})`


`y=\cot ^{-1}(\sqrt{\cos x})-\tan ^{-1}(\sqrt{\cos x})`



`\text { or } y=\frac{\pi}{2}-\tan ^{-1}(\sqrt{\cos x})-\tan ^{-1}(\sqrt{\cos x})`



...