However, some tests, even highlights tests meets the "$IterationLimit::itlim: Iteration limit of 4096 exceeded. " and return something like "Hold[Int[Rubi`Private`v$4716, x]]", and still exceed when I set $IterationLimit to 20000. Some highlight tests we cannot run are here: http://pastebin.com/u7EP4uPJ
I wonder the failures can be caused by following reasons: * Since the rules associate with Int are matched in order according to the order they are Geted, the Get order might essential for right results. * Existence of some undefined functions can lead to unknown results. "Sim", "ExpnExpand" etc. are not defined anywhere, I guess something are missed transferring from Rubi 2?
Does anyone meet similar problems?
P.S. I and some of my friends are trying to bring out a symbolic integration system by integrate the Albi (our nickname for Algorithm Based Integrator) and Rubi. We are working on replace our old rule based system with Rubi 3.