Existe algum algoritmo que pode encontrar o sinal de uma expressão algébrica simbólica arbitrária dada em uma "Forma de árvore"?

Eu sei que um algoritmo geral não existe porque o problema de reconhecimento zero é indecidível para uma expressão arbitrária, mas como devo abordar o problema de encontrar o sinal de uma expressão? (como isso é feito na álgebra computacional?)

Por exemplo:sign(sqrt(2)-1) = ?