符號計算根本不用浮點數近似求和

我估計後麵的算法是把級數對應到某個反三角函數的泰勒展示，推出Pi/4. 有一批人專門研究這個。