Find the principal value of sin^-1{cos(sin^-1√3/2)}