use separatevars with trigsimp