Преобразование выражений тождества