In[]:=
Count[s[s[s[s][k]]][s[s]][s],k,Infinity,HeadsTrue]
Out[]=
1
In[]:=
In[]:=
GraphicsGrid[Partition[ResourceFunction["ParallelMapMonitored"][ListLinePlot[LeafCount/@SKFixedPointEvolveList[#[[1]],2000],FrameTrue,AxesNone,FrameTicksNone,PlotLabel->#[[2]]]&,Transpose[{nonterms,Range[Length[nonterms]]}]],UpTo[7]]]
Out[]=
In[]:=
nonterms[[57]]
Out[]=
s[s[s[s][s]]][s][s][k]
In[]:=
ListLinePlot[LeafCount/@SKFixedPointEvolveList[nonterms[[57]],20000]]
Out[]=
In[]:=
Length[SKFixedPointEvolveList[nonterms[[57]],20000]]
Out[]=
2321
In[]:=
Length[SKFixedPointEvolveList[nonterms[[58]],20000]]
Out[]=
2320
In[]:=
nonterms[[57]]
Out[]=
s[s[s[s][s]]][s][s][k]
In[]:=
s[s[s][s]][s][s[s]][k]===s[s[s][s]][s][s[s]][k]
Out[]=
True
s[s[s][s]][s][s[s]][k]
In[]:=
SKEvolveList[nonterms[[57]],4]
Out[]=
{s[s[s[s][s]]][s][s][k],s[s[s][s]][s][s[s]][k],s[s][s][s[s]][s[s[s]]][k],s[s[s]][s[s[s]]][s[s[s]]][k],s[s][s[s[s]]][s[s[s]][s[s[s]]]][k]}
In[]:=
SKEvolveList[nonterms[[58]],4]
Out[]=
{s[s[s][s]][s][s[s]][k],s[s][s][s[s]][s[s[s]]][k],s[s[s]][s[s[s]]][s[s[s]]][k],s[s][s[s[s]]][s[s[s]][s[s[s]]]][k],s[s[s[s]][s[s[s]]]][s[s[s]][s[s[s]][s[s[s]]]]][k]}
LeafCount/@SKFixedPointEvolveList[nonterms[[57]],20000]
In[]:=
nonterms[[63]]
Out[]=
s[s][s][s[s[s]]][s][k]
In[]:=
Select[SKEvolveList[#,6],LeafCount[#]8&]&/@nonterms
Out[]=
In[]:=
Length/@%
Out[]=
{1,2,2,1,2,2,1,1,1,3,3,2,3,1,1,1,1,1,1,1,1,2,2,2,1,2,2,2,1,3,1,1,1,1,2,2,1,2,2,1,2,1,2,2,1,1,2,3,1,1,1,1,1,1,1,2,2,1,1,1,1,1,1,2,2,1,2,1,1,1,1,1,1,1}
In[]:=
Rest/@%405
Out[]=
{{},{s[s[s][s][s[s]][s][s]]},{s[s[s[s][s]]][s][s[s]]},{},{s[s[s][s]][s][s[s][s]]},{s[s[s[s]][s]][s][s[s]]},{},{},{},{s[s[s]][s[s]][s][s[s]],s[s][s][s[s][s]][s[s]]},{s[s[s[s]]][s][s][s[s]],s[s[s]][s][s[s]][s[s]]},{s[s][s][s[s]][s][s[s]]},{s[s[s]][s][s][s][s[s]],s[s][s][s[s]][s][s[s]]},{},{},{},{},{},{},{},{},{s[s][s][s[s][s]][s[s]]},{s[s][s][s[s[s]][s]][s]},{s[s[s]][s][s[s]][s[s]]},{},{s[s[s]][s][s[s][s]][s]},{s[s[s[s]]][s][s[s]][s]},{s[s[s][s]][s][s[s]][s]},{},{s[s[s]][s][s][s[s]][s],s[s][s][s[s]][s[s]][s]},{},{},{},{},{s[s][s][s[s]][s][s[s]]},{s[s][s][s[s]][s[s]][s]},{},{s[s][s][s[s][s]][s][s]},{s[s[s]][s][s[s]][s][s]},{},{s[s][s][s[s]][s][s][s]},{},{k[s[s][s][s[s]][s][s]]},{s[s[s][k]][s][s[s][s]]},{},{},{s[s][s][s[s]][s][k[s]]},{s[s[s]][s][s][s][k[s]],s[s][s][s[s]][s][k[s]]},{},{},{},{},{},{},{},{s[s[s]][s][s[s][s]][k]},{s[s[s][s]][s][s[s]][k]},{},{},{},{},{},{},{s[s][s][s[s]][s][k[s]]},{s[s][s][s[s]][s][s[k]]},{},{s[s[s]][s][s[s]][s][k]},{},{},{},{},{},{},{}}
In[]:=
Flatten[%]
Out[]=
{s[s[s][s][s[s]][s][s]],s[s[s[s][s]]][s][s[s]],s[s[s][s]][s][s[s][s]],s[s[s[s]][s]][s][s[s]],s[s[s]][s[s]][s][s[s]],s[s][s][s[s][s]][s[s]],s[s[s[s]]][s][s][s[s]],s[s[s]][s][s[s]][s[s]],s[s][s][s[s]][s][s[s]],s[s[s]][s][s][s][s[s]],s[s][s][s[s]][s][s[s]],s[s][s][s[s][s]][s[s]],s[s][s][s[s[s]][s]][s],s[s[s]][s][s[s]][s[s]],s[s[s]][s][s[s][s]][s],s[s[s[s]]][s][s[s]][s],s[s[s][s]][s][s[s]][s],s[s[s]][s][s][s[s]][s],s[s][s][s[s]][s[s]][s],s[s][s][s[s]][s][s[s]],s[s][s][s[s]][s[s]][s],s[s][s][s[s][s]][s][s],s[s[s]][s][s[s]][s][s],s[s][s][s[s]][s][s][s],k[s[s][s][s[s]][s][s]],s[s[s][k]][s][s[s][s]],s[s][s][s[s]][s][k[s]],s[s[s]][s][s][s][k[s]],s[s][s][s[s]][s][k[s]],s[s[s]][s][s[s][s]][k],s[s[s][s]][s][s[s]][k],s[s][s][s[s]][s][k[s]],s[s][s][s[s]][s][s[k]],s[s[s]][s][s[s]][s][k]}
In[]:=
Complement[nonterms,%]
Out[]=
{k[s[s[s]][s][s][s][s]],s[s[s[s]][s][s][s][s]],s[s[s[s[s][s]]]][s][s],s[s[s[s][k]]][s[s]][s],s[s[s[s][s]]][s[s]][s],s[s[s[s[s]][s]]][s][s],s[s[s][k]][s][s[s][k]],s[s[s][s]][s][s[s[s]]],s[s[s][s]][s][s[s][k]],s[s[s[s]][s[s]]][s][s],s[s[s[s[s]]][s]][s][s],s[s[s][s][s[s]]][k][s],s[s[s][s][s[s]]][s][s],s[s[s[s]][s][s]][k][s],s[s[s[s]][s][s]][s][s],s[s][k][s[s[s][k]]][k],s[s][k][s[s[s][k]]][s],s[s][k][s[s[s][s]]][k],s[s][k][s[s[s][s]]][s],s[s][s][s[s[s]]][s[s]],s[s][s][s[s[s[s]]]][k],s[s][s][s[s[s[s]]]][s],s[s][s][s[s[s][k]]][s],s[s][s][s[s[s][s]]][k],s[s][s][s[s[s][s]]][s],s[s[s]][s][s[s[s]]][k],s[s[s]][s][s[s[s]]][s],s[s[s]][s][s[s][k]][k],s[s[s]][s][s[s][k]][s],s[s[s]][s[s[s]]][s][s],s[s[s[s]]][s[s]][s][k],s[s[s[s]]][s[s]][s][s],s[s[s[s[s]]]][s][s][s],s[s[s[s][s]]][s][s][k],s[s[s[s][s]]][s][s][s],s[s[s[s]][s]][s][s][s],s[s][k][s[s[s]]][s][k],s[s][k][s[s[s]]][s][s],s[s][s][s[s[s]]][k][s],s[s][s][s[s[s]]][s][k],s[s][s][s[s[s]]][s][s],s[s[s]][s][s][s][s[k]],s[s[s]][s[s]][s][s][s],s[s[s[s]]][s][s][s][k],s[s[s[s]]][s][s][s][s],s[s][k][s[s]][s][s][s],s[s[s]][s][s][s][s][s]}
In[]:=
SortBy[%,Count[#,k,Infinity,HeadsTrue]&]