Exercise 22

Find the value of: \(\tan^{-1}[2\cos(2\sin^{-1}\frac{1}{2})]\)