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