{L1-x=1,y=2}
{L1-x=root_of(x_**6 + x_ + 1,x_,tag_1),x=1}
{{L2-a+b,b+c,c+d,{L3-xyz, def}},{L2-b+c,b+a,{L3-uvw, ghi},d+c}}
{{L2-m+n,o+p,p+q,{L3-yzx, efd}},{L2-n+m,p+o,
{L3-vwu, hig},k*l}}
{{L2-e*f,g/h,i-j,{L3-zxy, fde}}, {L2-b*c,
b/a,{L3-wuv,
igh},l/k}}
{{L2-x=2.12,y=0,z=-2.12},
{L2-x=-2.12,y=0,z=2.12},
{L2-x=0,y=2.12,z=-2.12},
{L2-x=0,y=-2.12,z=2.12}}
