From: hebisch@math.uni.wroc.pl   
      
   clicliclic@freenet.de wrote:   
   >   
   > Then your FriCAS should now obtain for the gothic door wing an area of   
   > INT(ACOS(x^2 - SQRT(1 - x^2)), x, 0, 1) = 2*SQRT(3) + LN(2 - SQRT(3)).   
   >   
      
   Indeed:   
      
   (3) -> integrate(acos(x^2 - sqrt(1 - x^2)), x = 0..1, "noPole")   
      
                   +-+          +-+   
           - log(4\|3  + 7) + 4\|3   
      (3)  ------------------------   
                       2   
                     Type: Union(f1: OrderedCompletion(Expression(Integer)),...)   
      
   (5) -> (2 - sqrt(3))^-2   
      
             +-+   
      (5)  4\|3  + 7   
                                                          Type: AlgebraicNumber   
      
   --   
                                 Waldek Hebisch   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)