Symbolic computations using SymPy