コンパクトにmod逆元を求める(続き)

コンパクトにmod逆元を求める - pekempeyのブログ で一部解析していなかった部分がうまくいったので書いておきます。具体的には 2-log4 の部分です。

a.hs · GitHub

再帰の深さの最大値、再帰の深さの総和、最大値を与える最小の x、最大値を与える最大の x、最大値を与える x の個数をいくつかの mod に対して計算した。

n=101 mx=6 sm=317 L=61 R=65 cnt=2
n=103 mx=10 sm=446 L=65 R=65 cnt=1
n=107 mx=8 sm=446 L=63 R=85 cnt=3
n=109 mx=7 sm=365 L=64 R=79 cnt=3
n=113 mx=9 sm=461 L=72 R=72 cnt=1
n=127 mx=7 sm=422 L=77 R=81 cnt=2
n=131 mx=7 sm=482 L=75 R=103 cnt=3
n=137 mx=7 sm=503 L=83 R=101 cnt=3
n=139 mx=8 sm=558 L=82 R=101 cnt=2
n=149 mx=8 sm=667 L=91 R=95 cnt=2
n=1009 mx=12 sm=5165 L=608 R=614 cnt=2
n=1013 mx=13 sm=6939 L=596 R=735 cnt=4
n=1019 mx=16 sm=8674 L=598 R=657 cnt=3
n=1021 mx=13 sm=5713 L=619 R=753 cnt=2
n=1031 mx=12 sm=6212 L=648 R=648 cnt=1
n=1033 mx=12 sm=5467 L=582 R=650 cnt=2
n=1039 mx=13 sm=6726 L=662 R=662 cnt=1
n=1049 mx=13 sm=7585 L=602 R=751 cnt=4
n=1051 mx=11 sm=4964 L=640 R=777 cnt=2
n=1061 mx=12 sm=5873 L=652 R=685 cnt=2
n=10007 mx=20 sm=96578 L=6387 R=6387 cnt=1
n=10009 mx=17 sm=72269 L=6328 R=6328 cnt=1
n=10037 mx=21 sm=91593 L=5874 R=5874 cnt=1
n=10039 mx=19 sm=77740 L=6337 R=6337 cnt=1
n=10061 mx=19 sm=100655 L=6361 R=6361 cnt=1
n=10067 mx=16 sm=83690 L=5906 R=7293 cnt=5
n=10069 mx=17 sm=83131 L=6071 R=6493 cnt=4
n=10079 mx=23 sm=118862 L=6371 R=6578 cnt=3
n=10091 mx=18 sm=89268 L=6088 R=6434 cnt=4
n=10093 mx=20 sm=82123 L=6094 R=7427 cnt=2
n=100003 mx=23 sm=1024570 L=63117 R=63117 cnt=1
n=100019 mx=26 sm=1122036 L=63687 R=63687 cnt=1
n=100043 mx=25 sm=1263880 L=60316 R=60316 cnt=1
n=100049 mx=21 sm=961773 L=60656 R=73787 cnt=4
n=100057 mx=20 sm=942621 L=60650 R=63805 cnt=6
n=100069 mx=22 sm=1006433 L=58542 R=63600 cnt=3
n=100103 mx=25 sm=1097748 L=61418 R=74313 cnt=4
n=100109 mx=22 sm=981843 L=63213 R=63213 cnt=1
n=100129 mx=22 sm=896101 L=63289 R=63289 cnt=1
n=100151 mx=24 sm=1109230 L=60453 R=60453 cnt=1
n=1000003 mx=28 sm=12305568 L=603170 R=631365 cnt=2
n=1000033 mx=28 sm=11355239 L=606856 R=737915 cnt=4
n=1000037 mx=28 sm=11156469 L=637586 R=637586 cnt=1
n=1000039 mx=30 sm=13651028 L=637721 R=637721 cnt=1
n=1000081 mx=26 sm=10787923 L=637801 R=637801 cnt=1
n=1000099 mx=28 sm=11960240 L=601462 R=744023 cnt=4
n=1000117 mx=26 sm=11480235 L=603769 R=735885 cnt=2
n=1000121 mx=27 sm=11813457 L=628588 R=644942 cnt=3
n=1000133 mx=33 sm=12754613 L=648053 R=648053 cnt=1
n=1000151 mx=30 sm=14565742 L=632216 R=632216 cnt=1
n=10000019 mx=33 sm=140924272 L=6376158 R=6376158 cnt=1
n=10000079 mx=37 sm=159827978 L=5887918 R=7372001 cnt=7
n=10000103 mx=35 sm=141778946 L=6025974 R=6025974 cnt=1
n=10000121 mx=32 sm=141300555 L=6273289 R=6509364 cnt=5
n=10000139 mx=36 sm=159742056 L=6420789 R=6420789 cnt=1
n=10000141 mx=33 sm=144267833 L=6381957 R=6425594 cnt=2
n=10000169 mx=36 sm=156834539 L=5852458 R=7949053 cnt=5
n=10000189 mx=34 sm=149137355 L=6311621 R=6424506 cnt=2
n=10000223 mx=33 sm=155444484 L=5723668 R=8289601 cnt=6
n=10000229 mx=33 sm=145187505 L=6032252 R=7354911 cnt=3
n=100000007 mx=39 sm=1745283038 L=60656843 R=73771231 cnt=5
n=100000037 mx=39 sm=1725351621 L=63210209 R=63210209 cnt=1
n=100000039 mx=41 sm=1725993980 L=63103627 R=63103627 cnt=1
n=100000049 mx=41 sm=1717213171 L=58715381 R=79357715 cnt=3
n=100000073 mx=40 sm=1689544973 L=63277062 R=63277062 cnt=1
n=100000081 mx=41 sm=1596550727 L=58520354 R=64200563 cnt=2
n=100000123 mx=40 sm=1627117072 L=63756470 R=63756470 cnt=1
n=100000127 mx=42 sm=1807930922 L=58866598 R=74213177 cnt=7
n=100000193 mx=46 sm=1937823353 L=63237505 R=63237505 cnt=1
n=100000213 mx=38 sm=1614014953 L=63768984 R=63768984 cnt=1
n=1000000007 mx=49 sm=20972645870 L=642493787 R=642493787 cnt=1
n=1000000009 mx=46 sm=18146977645 L=573963434 R=829585379 cnt=3
n=1000000021 mx=48 sm=19599860155 L=585466318 R=723644219 cnt=3
n=1000000033 mx=47 sm=19555623099 L=637076759 R=638376248 cnt=3
n=1000000087 mx=44 sm=19950015254 L=629767468 R=637791860 cnt=3
n=1000000093 mx=47 sm=18103307495 L=602791295 R=739197903 cnt=6
n=1000000097 mx=45 sm=18642768529 L=637145319 R=637611741 cnt=2
n=1000000103 mx=49 sm=20477508982 L=641450995 R=641450995 cnt=1
n=1000000123 mx=44 sm=19338955770 L=630523280 R=638176563 cnt=3
n=1000000181 mx=46 sm=18983312283 L=629854355 R=645067520 cnt=4
n=1000000207 mx=47 sm=20366552468 L=632235896 R=637080836 cnt=2
n=1000000223 mx=45 sm=20015285708 L=603903713 R=735935883 cnt=3
n=1000000241 mx=48 sm=19042544567 L=631421142 R=642411710 cnt=3
n=1000000271 mx=49 sm=20247590946 L=606840232 R=606840232 cnt=1
n=1000000289 mx=45 sm=18612739175 L=602839156 R=602839156 cnt=1
n=1000000297 mx=46 sm=19129601075 L=632396526 R=632396526 cnt=1
n=1000000321 mx=46 sm=18789963409 L=632404639 R=632404639 cnt=1
n=1000000349 mx=49 sm=21081823899 L=631390550 R=631390550 cnt=1