integrate 2^{2^x}