samuel.thomas.blake@gmail.com wrote:   
   >   
   > Kauer's heuristic has been generalised into a complete algorithm by Miller.   
   >   
   > Miller, B. (2012). ?On the Integration of Elementary Functions: Computing   
   the Loga- rithmic Part?. Thesis (Ph.D.) Texas Tech University, Dept. of   
   Mathematics and Statis- tics.   
      
   I have read his thesis.  From my memory:   
      
   - Miller gives a method and claims it is complete, but does not really   
     give proofs   
   - He says nothing about recombining divisors, this is needed for   
     completeness   
      
   While second issue is trivial to fix (just adapt corresponding part   
   of Trager method), it makes more likely that he overlooked something   
   more important, so I have limited faith in correctness of his   
   results.   
      
   --   
                                 Waldek Hebisch   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)