primalsimp

primalsimp