Методы преобразования выражений в тождественно равные