Martin:   
      
   Here's some comments (not  excuses!) on the "failed 14 Timofeev problems":   
      
    (-2*cos(x)^3*(-1+sin(x))+cos(2*x)*sin(x))/(sin(x)^2*sqrt(-5+sin(x)^2))   
      
   This integrand is not real, because of the 'sqrt(-5+sin(x)^2)' part.   
    In FriCAS, 'complexIntegrate' can give a result.  If replace   
   'sqrt(-5+sin(x)^2)' with 'sqrt(5-sin(x)^2)', then 'integrate' can   
   give a result.   
      
   (cos(1/2*x)+sin(1/2*x))/(%e^x)^(1/3)   
      
   If you simply rewrite it as (cos(1/2*x)+sin(1/2*x))/exp(x/3),   
   then FriCAS can solve it.   
      
   cos(1/3*x)^3/sqrt(%e^x)   
      
   Same as previous one, rewrite it as 'cos(1/3*x)^3/exp(x/2)'.   
      
   For other failures, 3 are errors, 8 are timeouts.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)