あ、そもそもリテラルでToo complexになるものにかけたので問題はそこです。組み合わせが大量にあって解決できないわけだから当然かと。