What does #cos(arctan(2))# equal?