arctan(1 /x)还能再化简吗?