norm-square of (1 + 2e^(i pi/4) - i)