factor works on nc expressions
use separatevars with trigsimp