How do you evaluate cos(2cos^-1(1/7))?