From: nma@12000.org   
      
   On 6/14/2016 9:56 PM, oldk1331@gmail.com wrote:   
   > FriCAS gives:   
   >   
   > (1) -> integrate( sinh(2*sinh(x)-1)*cosh(x ),x)   
   >   
   >         cosh(2sinh(x) - 1)   
   >    (1)  ──────────────────   
   >                  2   
   >   
   > BTW, mma gives correct result, verified by FriCAS.   
   > And mma takes 30s to give an answer, FriCAS takes 0.01s.   
   >   
      
   You can get the same result from mma, but need a little trick   
      
   r = Integrate[Sinh[2 Sinh[x] - 1]*Cosh[x], x];   
   ExpToTrig@TrigToExp@r   
      
   Out[25]= 1/2 Cosh[1 - 2 Sinh[x]]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)