da complexidade dos termos.
</li><li>
Usa (1) e (2) em fatora&ccedil;&otilde;es de pares de termos adjascentes.
</li><li>
Repetidamente e recursivamente aplica essas t&eacute;cnicas at&eacute; que
a express&atilde;o n&atilde;o mais mude.
</li></ol>

<p>O item (3) n&atilde;o necess&aacute;riamente faz uma tarefa &oacute;tima fatora&ccedil;&atilde;o
par a par devido &agrave; dificuldade combinat&oacute;ria natural de encontrar
qual de todas dos poss&iacute;veis rearranjos de pares retorna o mais
compacto resu