What does cos(arctan(2)) equal?