For the principal values, evaluate tan^-1{2sin(4cos^-1√3/2)}