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

Question

$\begin{array}{1 1} \frac{\pi}{4} \\ \frac{\pi}{2} \\ \frac{\pi}{8} \\ \pi \end{array} $