How do you find the exact value of sin^-1(cos(pi/6))?