simplification of atan2

-----maxima-bounces at math.utexas.edu wrote: -----

>It also indicates how to extend it to the complex domain as
>
>-%i * ln( (x + %i*y)/(x^2 + y^2)^(1/2) )
>

The documentation doesn't mention it, but the source code knows:

  (%i1) logarc(atan2(y,x));
  (%o1) -%i*log((%i*y+x)/sqrt(y^2+x^2))

Barton