Multiply complex numbers in polar form (#655)

Multiply complex numbers in polar form (#655)

Multiply moduli, add arguments: r1eiθ1⋅r2eiθ2=r1r2ei(θ1+θ2)r_1 e^{i\theta_1} \cdot r_2 e^{i\theta_2} = r_1 r_2 e^{i(\theta_1+\theta_2)}.