Упрощая Atan (тангенс (а + б))

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