涉及反向触发的Sympy积分是不正确的

Question

我不知道为什么，但是Sympy没有为∫（1 /（a ^ 2 + x ^ 2））dx输出正确的反衍生物，a是一个常数值。解决方案应该是（arctan（x / a））/ a，但Sympy说不然。从我的Jupyter会议：

我也试过告诉让Sympy知道a是真实的成员，但它并没有特别的帮助：

有关我如何错误地使用库的任何建议？