integrate 2^{2^t}