simplify() implementado