(sqrt(2^x