I'm using Maxima's inherent rule methods with the suite of rules provided by RUBI for this particular Computer Algebra System . Once completed, might I upload the resultant files here for scrutiny ?