Disponível
Applies a much larger set of simplifying transformations
Verificável de forma independente: uma resposta desta função é rederivada por outra via e comparada - a bancada e a ferramenta verify fazem isso automaticamente, então uma resposta errada é detectada em vez de confiada. Histórico →