4077: use signsimp as first step in cancel