sympy/sympy — pull request #1998 by smichr (2013-04-11 04:34:31+00:00)
Title: 3226: give diff a simplify option

See https://code.google.com/p/sympy/issues/detail?id=3226