In this case formal analysis may become too long.
در این مورد تجزیه و تحلیل رسمی ممکن است بیش از حد طولانی شود.