FOR THE ADVENTUROUS: trigsimp heuristically applies very targeted trigonometric manipulations. You can see what these are by looking at the sources code of fu.py in the simplify folder.