Find the principal value of sin^-1(√3+1/2√2)