Homotopy analysis of nonlinear progressive waves in deep water