Formula tree parsing.