Toward analytic rewriting theory