# un-normalized Ic
0;1|_>(x[2]-y[2])+_+x[1];_+x[2]

# number of leaves
1|_+x[1]

# statistic described in Optimization... paper
8|p(l(_+x[1]),5)