keep expr as option before powsimp