"Nasser M. Abbasi" schrieb:   
   >   
   > It is just the setting of the setSimplifyDenomsFlag(true).   
   >   
   > I build fricas with /usr/bin/clisp   
   >   
   > setting setSimplifyDenomsFlag(true) the error goes away and   
   > get a HUGE output. Setting setSimplifyDenomsFlag(false) (default)   
   > gives the "overflow during multiplication of large numbers" error   
   >   
      
   Albert doesn't seem to find integration à la Goursat easy, but if he   
   succeeds in rationalizing the integrand, the antiderivative should   
   become fairly small: Goursat's antiderivatives are simple by definition.   
      
   Here are the division polynomials of orders 3 to 8 for the elliptic   
   curve y^2 = x^3 - 1:   
      
   divpol(3, x, 0, 0, -1)   
      
   3*x*(x^3 - 4)   
      
   divpol(4, x, 0, 0, -1)   
      
   4*SQRT(x^3 - 1)*(x^6 - 20*x^3 - 8)   
      
   divpol(5, x, 0, 0, -1)   
      
   5*x^12 - 380*x^9 - 240*x^6 + 1600*x^3 - 256   
      
   divpol(6, x, 0, 0, -1)   
      
   6*x*(x^3 - 4)*(x^3 + 8)*SQRT(x^3 - 1)*(x^9 - 228*x^6 + 48*x^3 - 64)   
      
   divpol(7, x, 0, 0, -1)   
      
   (x^18 - 564*x^15 - 5808*x^12 + 123136*x^9 - 189696*x^6 + 49152*x^3 +   
   4096)*(7*x^6 + 4*x^3 + 16)   
      
   divpol(8, x, 0, 0, -1)   
      
   8*SQRT(x^3 - 1)*(x^6 - 20*x^3 - 8)*(x^24 - 1232*x^21 - 58688*x^18 +   
   49408*x^15 - 439040*x^12 + 2111488*x^9 - 1949696*x^6 + 851968*x^3 -   
   32768)   
      
   One can recognize the special denominators of our integrand, which   
   suggests that infinitely many pseudo-elliptic cases occur here too.   
   FriCAS should be able to integrate some of the new ones.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)