Find the principal argument of `(1+isqrt(3))^2dot`

Explanation

`z=(1+i sqrt3)^2`


`=1+3 i^2+2 sqrt3 i`


`1-3+2 sqrt3 i`


`-2+2 sqrt3 i`
let `beta` be an acute angle given by `tan beta=(|im (z)|)/(|Re(z)|)`then,
...