"Nasser M. Abbasi" schrieb:   
   >   
   > [...]   
   >   
   > But Maple's Risch algorithm (based on trace, showing it   
   > called Risch), gives this   
   >   
   > -----------------------------   
   > restart;   
   > integrand:=ln(x)*ln(x^2);   
   > sol:=int(integrand,x);   
   >   
   >      ln(x)*ln(x^2)*x+4*x-2*x*ln(x)-x*ln(x^2)   
   > -------------------------------------   
   >   
   > But Maple's answer differentiates back to the integrand but   
   > not sympy's answer.   
   >   
      
   Shouldn't the Maple commands have been something like:   
      
     restart;   
     integrand:=ln(x)*ln(x^2);   
     sol:=risch(integrand,x);   
      
   ? According to your trace, int() ends up in Risch-Norman instead.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)