Add sympy dependency