“One single equation for the motion of the Moon covers some 250 large-size pages and represents the major effort of a lifetime”