How do you evaluate arccos(cos ((13pi)/2))?