@moorepants There seems to be a problem with the printing function. Initially the of this line was on the line below, and it gave an error "Symbol object has no attribute 'x'". Have a look- https://travis-ci.org/sympy/sympy/jobs/19042675. This works fine.