Python Symbolic Integration