I've never used SymPy, but after looking through the tutorial, it looks like a nicer symbolic mathematical library than Theano. I know that the libraries have different focuses; Theano is about speed and tensors, while SymPy appears to be about algebra, but I would be interested in seeing if they have similar capabilities.