tweak trigsimp

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