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