symbolic evaluates and simplifies symbolic results