> I suggest that atan(tan(x)) not simplify unless we know -%pi/2 <x <%pi/2 how about atan(tan(x)) => mod (x + %pi/2, %pi) - %pi/2 ? current version of mod does what we want here (although maybe there's a simpler equivalent). robert