Polar form, multiplication and division

Cartesian form is efficient for addition and subtraction. Polar or exponential form is efficient for multiplication and division because lengths and angles separate cleanly.

A current paper gives a long quotient. Rename its two unit complex numbers first:

Conjugation is reflection in the real axis, so it reverses the argument.