2^sqrt(2)