symbolic-toolbox code snippets in matlab