Waldek Hebisch schrieb: > > Nasser M. Abbasi <email@example.com> wrote: > > On 6/13/2013 5:04 PM, Waldek Hebisch wrote: > > > > > > > > I tried sympy-0.7.2 on the ten. I got anwers for #2 and #10: > > > > If any one interested, I have screen shots from sympy up now. > > > > http://www.12000.org/my_notes/ten_hard_integrals/index.htm > > > > I used whatever my Linux installed for me via package manager, which > > it says it is sympy 0.7.1-rc1-3. It gave result for #10 for > > this version. > > > > > > > > #4 did not finish after 35 min. > > > > For me, it was #5 which never finished, waited 1 hr. > > I gave wrong number: it was #5. In fact it is still > runnig 2h 20min, 4.3GB RAM in use. >
Better late than never :).
If my information is up-to-date, Sympy claims to field a complete implementation the Risch procedures from Bronstein's volume 1, covering everything elementary but non-algebraic, supplemented by an implementation of the extended Risch-Norman heuristic (something like Bronsteins "Poor Man's Integrator") for cases where these procedures do not apply. Sympy also claims that it can automatically convert to and determine the antiderivatives of Meijer G-functions.
So, what you are suffering here must be the "extended Risch-Norman heuristic" mostly.