For real x, atan2(sin(x),cos(x)) = %pi - mod(%pi - x, 2 * %pi) is an
identity.
But %pi - mod(%pi - x, 2 * %pi) can be a mess too.
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>Usually?when?you?see?terms?like?atan2(sin(x),cos(x)),?the?substantively
>correct?result?is?x,?that?is,?the?analytic?continuation?of?the?-%pi?<?x?<
>%pi?case.