They are different projects with different goals, but some of the sympy team do try to employ sympy's capabilities in order to help theano generate better optimized code.