Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: An independent integration test suite
Replies: 128   Last Post: Dec 8, 2013 3:21 PM

 Messages: [ Previous | Next ]
 Albert D. Rich Posts: 311 From: Hawaii Island Registered: 5/30/09
Re: Rubi 4.1 and the Timofeev test suite
Posted: Sep 15, 2013 2:20 AM

On Tuesday, August 6, 2013 1:51:41 PM UTC-10, clicl...@freenet.de wrote:

> I thought it would be instructive to list those integrals Rubi 4.1 fails on:
>
> Timofeev's example 29 from Chapter 1:
> INT(TAN(x)*TAN(x - a), x)
> = 1/TAN(a)*LN(1 + TAN(a)*TAN(x)) - x
>
> Timofeev's example 64 from Chapter 1:
> INT(ASIN(x/a)^(3/2)/SQRT(a^2 - x^2), x)
> = 2/5*ASIN(x/a)^(3/2)*ATAN(x/SQRT(a^2 - x^2))
> = 2/5*(a/SQRT(a^2 - x^2))*SQRT(1 - (x/a)^2)*ASIN(x/a)^(5/2)
>
> Timofeev's example 6 from Chapter 7:
> INT(x*SIN(x)^3/COS(x)^4, x)
> = x*(1/(3*COS(x)^3) - 1/COS(x)) - SIN(x)/(6*COS(x)^2) + 5/6*ATANH(SIN(x))
>
> Timofeev's example 10 from Chapter 7:
> INT((2*x + SIN(2*x))/(x*SIN(x) + COS(x))^2, x)
> = - 2*COS(x)/(x*SIN(x) + COS(x))
>
> Timofeev's example 11 from Chapter 7:
> INT((x/(x*COS(x) - SIN(x)))^2, x)
> = (x*SIN(x) + COS(x))/(x*COS(x) - SIN(x))
>
> In my view, the first two failures are deplorable but understandable,
> while the third one must be counted as a bug. The last two are simply to
> be expected.
>
> Timofeev's book can be found at:
>

Hello Martin,

You probably thought I forgot or ignored your above post. Actually, the first three examples inspired me to make significant enhancements to the just released version 4.2 of Rubi. In particular, Timofeev's example 64 from Chapter 1 resulted in the replacement of an ad hoc collection of inverse trig integration rules with a coherent set capable of integrating ANY integrable expression of the form

x^m (d+e x^2)^p (a+b arcsin(c x))^n

for any integer (including 0), fraction or symbolic m, n and p; and when c^2 d+e=0 (as is the case in example 64) and when not. Rules were also defined for analogous expressions involving arccos, arctan and arccot; as well as their inverse hyperbolic counterparts. The major computer algebra systems are woefully inadequate at integrating this difficult class of problems.

Rubi 4.2 gets all the Timofeev examples from Chapters 1, 3 and 7 with the exception of #10 and #11 from Chapter 7. So your table of test results can be revised to read as follows:

ch. ex's Der. Fri. Mpl MMA Rubi
6.10 1.21 17 9 4.2
-------------------------------------------
1 86 83 86 85 86 86
2 90 - - - - -
3 12 12 12 12 12 12
4 132 - - - - -
5 120 - - - - -
6 26 - - - - -
7 11 9 11 11 11 9
8 109 - - - - -
9 59 - - - - -
-------------------------------------------
100% 95.4% 100% 99.1% 100% 98.2%

I would also like to add the Timofeev examples from the other chapters to the Rubi test-suite (currently 44,656 problems). Unfortunately when I attempt to follow the above link, I am confronted with the unfriendly message ?Forbidden: You don?t have permission to access? the html file. Any suggestions?

Aloha,
Albert

Date Subject Author
2/24/13 clicliclic@freenet.de
3/19/13 clicliclic@freenet.de
3/21/13 Waldek Hebisch
3/22/13 clicliclic@freenet.de
3/26/13 Waldek Hebisch
3/26/13 clicliclic@freenet.de
4/20/13 clicliclic@freenet.de
4/20/13 Nasser Abbasi
4/20/13 Rouben Rostamian
4/20/13 clicliclic@freenet.de
4/20/13 Rouben Rostamian
4/20/13 Axel Vogt
4/20/13 clicliclic@freenet.de
4/20/13 Axel Vogt
4/21/13 Axel Vogt
4/21/13 clicliclic@freenet.de
4/21/13 Waldek Hebisch
4/22/13 clicliclic@freenet.de
4/22/13 Axel Vogt
4/22/13 clicliclic@freenet.de
4/23/13 Waldek Hebisch
4/24/13 clicliclic@freenet.de
4/25/13 Waldek Hebisch
4/26/13 clicliclic@freenet.de
4/27/13 Waldek Hebisch
4/24/13 Richard Fateman
4/24/13 clicliclic@freenet.de
4/25/13 Richard Fateman
4/26/13 clicliclic@freenet.de
4/26/13 Axel Vogt
4/27/13 clicliclic@freenet.de
4/25/13 Waldek Hebisch
4/25/13 Peter Pein
4/25/13 Nasser Abbasi
4/26/13 Peter Pein
4/26/13 clicliclic@freenet.de
4/26/13 Peter Pein
4/26/13 clicliclic@freenet.de
4/26/13 Richard Fateman
4/27/13 clicliclic@freenet.de
4/27/13 Richard Fateman
6/30/13 clicliclic@freenet.de
6/30/13 Axel Vogt
7/1/13 clicliclic@freenet.de
7/1/13 Axel Vogt
7/1/13 Waldek Hebisch
7/2/13 clicliclic@freenet.de
7/2/13 clicliclic@freenet.de
7/2/13 clicliclic@freenet.de
7/2/13 Nasser Abbasi
7/2/13 Nasser Abbasi
7/4/13 clicliclic@freenet.de
7/4/13 Nasser Abbasi
7/4/13 Nasser Abbasi
7/5/13 clicliclic@freenet.de
7/5/13 Nasser Abbasi
7/9/13 clicliclic@freenet.de
7/10/13 Nasser Abbasi
7/10/13 Richard Fateman
7/10/13 Nasser Abbasi
7/10/13 clicliclic@freenet.de
8/6/13 clicliclic@freenet.de
9/15/13 Albert D. Rich
9/15/13 clicliclic@freenet.de
9/15/13 clicliclic@freenet.de
9/21/13 Albert D. Rich
9/21/13 clicliclic@freenet.de
9/22/13 daly@axiom-developer.org
9/24/13 daly@axiom-developer.org
9/30/13 daly@axiom-developer.org
9/22/13 Albert D. Rich
9/25/13 Albert D. Rich
9/25/13 Albert D. Rich
9/25/13 clicliclic@freenet.de
9/25/13 Albert D. Rich
9/26/13 Albert D. Rich
9/26/13 clicliclic@freenet.de
9/26/13 Albert D. Rich
9/29/13 clicliclic@freenet.de
10/1/13 Albert D. Rich
10/1/13 clicliclic@freenet.de
10/1/13 Albert D. Rich
10/5/13 clicliclic@freenet.de
10/5/13 Albert D. Rich
10/6/13 clicliclic@freenet.de
10/10/13 Albert D. Rich
10/10/13 Nasser Abbasi
10/11/13 clicliclic@freenet.de
11/6/13 Albert D. Rich
11/6/13 Nasser Abbasi
11/7/13 did
11/7/13 clicliclic@freenet.de
11/7/13 clicliclic@freenet.de
11/7/13 Albert D. Rich
11/12/13 clicliclic@freenet.de
11/12/13 Albert D. Rich
11/13/13 clicliclic@freenet.de
11/13/13 Albert D. Rich
11/14/13 clicliclic@freenet.de
11/14/13 Albert D. Rich
11/15/13 clicliclic@freenet.de
11/15/13 Albert D. Rich
11/16/13 clicliclic@freenet.de
11/16/13 clicliclic@freenet.de
11/21/13 Albert D. Rich
11/21/13 clicliclic@freenet.de
11/21/13 Nasser Abbasi
11/21/13 Albert D. Rich
11/21/13 Albert D. Rich
11/22/13 clicliclic@freenet.de
11/14/13 Albert D. Rich
11/15/13 clicliclic@freenet.de
11/15/13 Nasser Abbasi
11/16/13 clicliclic@freenet.de
11/16/13 Nasser Abbasi
11/7/13 did
11/7/13 clicliclic@freenet.de
4/20/13 Richard Fateman
4/21/13 clicliclic@freenet.de
4/20/13 Axel Vogt
4/20/13 clicliclic@freenet.de
4/20/13 Waldek Hebisch
4/21/13 G. A. Edgar
12/8/13 clicliclic@freenet.de
10/5/13 Albert D. Rich
10/6/13 clicliclic@freenet.de