Recursive Rewriting of Expressions
Recursive Rewriting of Expressions
Often a large expression has many subexpressions in common. Recursive rewriting consists of replacing each common part of an expression with a symbol instead of writing out the part explicitly. This shows the overall structure at different levels.
Each such symbol is wrapped by a button; click one to see the level below it. Tooltips gives the subexpression with all constants replaced. Mouseover shows the ByteCount of the subexpression in red. Annotation shows the Leafcount, Length, and Depth of the argument. Finally, tree gives the TreeForm of the expression.