Did you try this? It might not even be true any more with our improved trigsimp (and the above removed line uncommented).