The source for the code at live.sympy.org - View it on GitHub