How do you simplify sin^-1 (cos ((7pi)/6))?