단순화 ATAN은 (황갈색 (A +는 B)) 내가 예상대로이 작동하지 않는 이유를 궁금해

Question

는 :

assume(x+y < %pi/2); 
assume(x+y > -%pi/2); 
atan(tan(x+y)); 

이 감소하기 :

atan(tan(x+y)) 

즉, 전혀. 나는 그것을 다음과 같이 줄이려고했다.

x+y 

Answer 1

시도 triginverses.

(%i9) atan (tan (x + y)); 
(%o9)       atan(tan(y + x)) 
(%i10) %, triginverses=all; 
(%o10)        y + x