Analytical theories of satellite motion constructed with a new package of formula manipulation and compared with numerical integration Article in Celestial Mechanics and Dynamical Astronomy (March 2000)