符号计算根本不用浮点数近似求和

我估计后面的算法是把级数对应到某个反三角函数的泰勒展示，推出Pi/4. 有一批人专门研究这个。