sqrt2^sqrt2^sqrt2