rewriting

replacing subterm in a mathematical formula with another term