Dr Huang schrieb:   
   >   
   > what is result is integrate( sinh(2sinh(x)-1)*cosh(x ))   ?   
   > wolfram cannot do. which CAS can do?   
   >   
      
   Sadly, Derive 6.10 cannot:   
      
   INT(SINH(2*SINH(x) - 1)*COSH(x), x)   
      
   #e^(-1)*SUBST(INT(#e^(x - 1/x)/x^2, x), x, #e^x)/4   
    + #e^(-1)*SUBST(INT(#e^(x - 1/x), x), x, #e^x)/4   
    - #e*SUBST(INT(#e^(1/x - x)/x^2, x), x, #e^x)/4   
    - #e*SUBST(INT(#e^(1/x - x), x), x, #e^x)/4   
      
   The integrand is converted to exponentials whereupon the system is lost.   
   This has been remedied this in Rubi, I hope.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)