Add sympy demo