rewrite

Short definition from Wiktionary

Noun

1. 1
   The act of writing again or anew.
2. 2
   Something that has been written again.
3. 3
   The replacement of subterms of a formula with other terms, according to certain rules, by way of transformation.

Verb

1. 1
   To write again, differently; to modify; to revise.
2. 2
   To write again (without changes).
3. 3
   To replace subterms of a formula with other terms, according to certain rules, by way of transformation.