Simple Ipython notebook + sympy example