From: axelclk@gmail.com   
      
   nob schrieb am Freitag, 5. März 2021 um 18:23:28 UTC+1:   
   > Your work concerns a port of Rubi to a symbolic extension of Java.    
   >    
   > There are 1092 failed symbolic integrations recorded in your log file    
   > failed_rubi_tests.txt. Did the tests involve the full problem suites    
   > from Albert's site, or just subsets, perhaps chosen for simplicity?    
   No these are selected test cases, where Rubi uses only 1 or 2 times the   
   integration rules so that we can see in development if the correct rule was   
   used.   
      
   > A good estimate of a symbolic integrator's strength is already given by    
   > the percentage of the 705 integrals from the Timofeev suite that it can    
   > solve. How many of them can your present Rubi port handle?    
      
   - Charlwood 19 from 50 tests fail   
   - Timoveef 150 from 705 fail   
      
   For these tests I've not analyzed if there are "false negatives", which can   
   occur if the result isn't exactly the same as in the predefined Rubi tests.   
      
   I've used the tests from here and converted them to JUnit test cases:   
   https://rulebasedintegration.org/TestFiles/MathematicaSyntaxFile   
   /MathematicaSyntaxTestFiles.zip   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)