Fix a bug in atan2(sin x, cos x)
Finish up the derivation of arg(e^z)
Detailed derivation of arg(a*b)