(4 / (2^(sqrt(2))))^(2 + sqrt(2))