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