SymPy：再次将符号/变量限制为间隔

Question

这与this question非常相似，我想知道过去几年是否发生过这些问题。我有版本1.0rc1。

特别是，有一个符号epsilon表示区间[0，π/ 2]中的角度，我想

asin(sin(epsilon))

是epsilon和

Abs(cos(epsilon))

是cos(epsilon)。我想如果同情者知道epsilon的间隔，它就可以进行这样的简化。