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