Simplify (1+i square root of 3)^2