(a+i)^n+(a-i)^n-2*(a^2+1)^(n/2)*cos(n*arccot(a))