Teste das simplificações juntas