Find the value of the tan^-1{2cos(2sin^-1(1/2))}