From: //noreply@axelvogt.de   
      
   On 14.03.2017 08:13, clicliclic@freenet.de wrote:   
   >   
   > antispam@math.uni.wroc.pl schrieb:   
   >>   
   >> clicliclic@freenet.de wrote:   
   >>>   
   >>> To the algebraic integration problem:   
   >>> while for:   
   >>>   
   >>> \begin{axiom}   
   >>> setSimplifyDenomsFlag(true)   
   >>> integrate(1/((sqrt(1 - x^2) - q)*sqrt(sqrt(1 - x^2) - q*x^2)), x)   
   >>> \end{axiom}   
   >>>   
   >>> it runs into its five-minute timeout.   
   >>   
   >> After 10 hours FriCAS returns unevaluated integral.   
   >>   
   >   
   > Thanks, I can accept this result easily. I was just trying to find out   
   > on the quick (!) if the integral is elementary - and instead (after a   
   > quite acceptable minute or so) obtained what looked like the   
   > manifestation of a bug.   
   >   
   > The result for the second version of the integral implies that the first   
   > version:   
   >   
   >   integrate(1/((p*sqrt(1 - x^2) - 1)*sqrt(p*sqrt(1 - x^2) - x^2)), x)   
   >   
   > should be returned unevaluated as well. I see that the FriCAS version of   
   > the web interface has been updated to 1.3.1, but the "Denominator not   
   > equal to 1" error remains.   
   >   
   > Martin.   
      
      
   For (the real case) I used x = sin(z) and -Pi/2 < z < Pi/2 (to avoid   
   troubles for sqrt( cos(z) ) and got a lengthy answer in terms of   
   elliptic functions and nested roots, using Maple, in some seconds.   
      
   I did no cross check (and do not trust results of such type here)   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)