integrate(log(1+(1+x**2)**0.5), x) -> incorrect result



Stavros Macrakis wrote:
> On Fri, Nov 28, 2008 at 10:10 PM, Raymond Toy <toy.raymond at gmail.com
> <mailto:toy.raymond at gmail.com>> wrote:
>
>     >   integrate(log(1+(1+x**2)**(1/2)), x)
>
>     Maxima can't compute the integral completely by itself, unfortunately,
>     but it does get close:
>
>
> Clever, Ray!  Just to make this easy for new users, here's the
> explicit transcript:

Not nearly as clever as you!  I did most of the work by hand.  I didn't
know that ratsimp with algebraic would rationalize the denominator.

I wonder if that's a rule that we can add to integrate:  try to
rationalize denominators.

Ray