How do you evaluate cos(2arctan(2))?