简化ATAN（TAN（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