Properties of the graph of y = cosh x