Some rewriting rules sometimes increase and sometimes decrease the size of the expressions to which they are applied.
Нека преписана правила некад повећавају а некад смањују величину израза за које се примењују.