Oi, faça uma pergunta sobre simplify log2(1)