Pensieve header: km with up to 15 inputs.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\SL2Invariant"];
<< SL2Invariant.m

$k=1;  Clear[km];

km[1]=(Subscript[𝔼, {1}->{1}])[(Subscript[a, 1]) (Subscript[α, 1])+t (Subscript[τ, 1]), (Subscript[x, 1])(Subscript[ξ, 1])+(Subscript[y, 1])(Subscript[η, 1]),1];
km[n_Integer]/;n>1 := km[n] = km[n-1]//(Subscript[km, 1,n->1])

km[4]

Table[LeafCount /@ List@@km[n], {n,15}] // MatrixForm

ListLogLogPlot[Table[LeafCount[km[n][[3]]], {n,15}]]

N@Table[((Log@LeafCount[km[n][[3]]])/(Log[n])), {n,2,15}]

PrintProfile[]