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