using structure of an expression to identify ways to rewrite it
Seeing Dots (Using the structure of an expression) · url (Apr 2022)
Visual Patterns: Using Structure to Rewrite Expressions · url (Apr 2022)