How do you find the value of cos((7pi)/6)?