smichr/sympy — comment on commit 26319c11ea021f61a97ccb6cc633effaaaebd62a
File: sympy/simplify/simplify.py line 879
By pernici:

```((cos(a)*cos(b)+sin(a)*sin(b)), cos(a-b)),
```