is (2*sqrt(2)*e^(3*pi*i/4))^(-3-4i)=e^(-3*pi)*(2*sqrt(2))^(-3-4i)*e^(-9*pi*i/4)?