What does cos(arctan(pi/4)) equal?