I heard (here, I guess) some rumors that Wolfram was rewritting the integrator of Mathematica for the version 9, possibly incorporating the Rubi technology. If it's true, I'm really looking forward for that. As MMA 9 is now out, I cannot see any mention of improved integrator. I'm asking because all I can see are bling-bling stuff and no real mathematical improvements (at least for me), and I am not going to buy it just for eye candies.
Can someone who have MMA 9 tells about the integrator in this version? Thanks Did