Визуализация тождественно равных выражений: примеры и решения