solve 9(1+i)^{10} = \dfrac{(1+i)^{10} - 1}{i} over reals