Write the principal value of sin^-1{cos(sin^-1(1/2))}