How do you simplify sin1(cos(7π6))?