antispam@math.uni.wroc.pl schrieb:   
   >   
   > [...]   
   >   
   > One can argue that the optimal result for such integrals   
   > is root sum.  It will simplify when it should, that is   
   > when you differentiate it, but will stay in symbolic   
   > form when no simplification is possible (that is in   
   > normal arithmetic).  And it is easy to understand   
   > structure of integral when given as root sum.   
   >   
      
   How would the 72.2 kilobyte FriCAS antiderivative of:   
      
     integrate(x/((10 - 6*sqrt(3) + x^3)*sqrt(1 + x^3)), x)   
      
   look as a root sum? The integer coefficients of up to 18 decimal digits   
   in your current output are bigger than one would expect from simply   
   merging the 5 ATANHs and 3 ATANs of:   
      
   INT(x/((x^3 - 6*SQRT(3) + 10)*SQRT(x^3 + 1)), x)   
    = 12^(1/4)*(2 + SQRT(3))/36*   
   (2*ATANH(12^(1/4)*(SQRT(3) + 1)*SQRT(x^3 + 1)/6)   
    - 3*ATANH(12^(1/4)*(SQRT(3) - 1)*(x + 1)/(2*SQRT(x^3 + 1))))   
    + SQRT(2)*3^(3/4)*(2 + SQRT(3))/36*   
   (2*ATAN(12^(1/4)*(2*x + SQRT(3) - 1)/(2*SQRT(x^3 + 1)))   
    - ATAN(12^(1/4)*(SQRT(3) + 1)*(x + 1)/(2*SQRT(x^3 + 1))))   
      
   But this may be a consequence of setSimplifyDenomsFlag(true).   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)