2^(2^x)=x*2^(9x)