add sympy examples