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