Hello. Levin in a bit more accurate than ratsum, but ratsum can make some symbolic sums like sum(1/(n^2+x),n,1,inf)