sympy/sympy — pull request #1747 by smichr (2013-02-01 08:15:35+00:00)
Title: tweak trigsimp

- make sure c is in match result
- break loop if expression is unchanged