manipulation of symbolic expressions