To the algebraic integration problem:   
      
   \begin{axiom}   
   setSimplifyDenomsFlag(true)   
   integrate(1/((p*sqrt(1 - x^2) - 1)*sqrt(p*sqrt(1 - x^2) - x^2)), x)   
   \end{axiom}   
      
   the FriCAS web interface responds with:   
      
   >> Error detected within library code:   
      Denominator not equal to 1   
      
   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.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)