use separatevars with trigsimp
use separatevars judiciously

If one always uses separatevars, the runtime is almost twice as long for
test simplify.py.