Solving symbolic equations with Press (1982)