Symbolic Manipulation Program