符号简化

symbolic simplification