Added sympy dependency