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.