5.6.1 反正切的实现