simplifier tree