树简化

tree reduction, tree simplification