Formula Tree Evaluating