The value ((1+sqrt3)/(2sqrt2) + (sqrt3-1)/(2sqrt2)i)^72 is a positive real number. What real number is it?
It works out to 256.