Rump の例題--その2 Julia の SymPy で解く

Julia の SymPy は，Python の sympy を利用している。Python の整数型は必要に応じて長精度整数になる。

求める式には実数が含まれるが，この式を 4 倍することで整式になる。