SMP—A Symbolic Manipulation Program