Click any operator node (the hexagons: ×, (·)⁻¹, ⇒) to fold its descendants into a tile labeled with its subexpr. Click the tile (or anywhere on the collapsed region) to re-expand. Variable nodes (circles) aren't collapsible — they're leaves.
Local proof of concept only. This is not production renderer code and must not be used with untrusted graph input.