Эффективное сокращение уравнений: методики и примеры