x = (((sqrt2 ^ sqrt2) ^ sqrt2) ^ sqrt2) ^ ... = ?