hello,
maxima simplifies atan(tan(x)) to x for any non-float x.
this is reported as SF bug # 1448605 .
(http://sourceforge.net/tracker/index.php?func=detail&aid=1448605&group_id=4933&atid=104933)
shouldn't x be pulled back into the range [- %pi/2, %pi/2] ?
SIMP-%ATAN is in src/trigi.lisp. SIMP-%ASIN and other trig inverses
are in src/trigo.lisp. SIMP-%ASIN etc all implement the same kind of
simplification (afoo(foo(x)) => x).
comments?
robert dodier