Simplifying a power of i