（刚刚打错了，这里重发一下）
arccosx=π⋅log−1(x+x2−1)\arccos x=\pi\cdot\log_{-1}(x+\sqrt{x^2-1})arccosx=π⋅log−1(x+x2−1)
这个公式对吗？
