Integration of rational functions now returns a sum of logarithms over the roots of a polynomial of smallest possible degree in the form

sum( f(alpha)*log(x+g(alpha)), alpha=RootOf(a(x)) )

The resulting sum, if evaluated in floating point, will be expressed as an explicit sum of logarithms over the complex roots of alpha. The above can also be manipulated as a function of , i.e. differentiated, expanded as a series in , etc. The new form is much more concise and usable than the old technology which produced a ``mess'' of nested radicals.

bondaren@thsun1.jinr.ru