How do you evaluate cos^-1(cos((13pi)/10))?