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 ]
 Nasser Abbasi Posts: 6,677 Registered: 2/7/05
Re: The A. F. Timofeev symbolic integration test suite
Posted: Nov 15, 2013 3:53 PM

On 11/15/2013 10:14 AM, clicliclic@freenet.de wrote:

>I am a bit curious what Mathematica and Maple
> return for integral 69 from Timofeev's Chapter 8.
>
> Martin.
>

Hi Martin;
Here it is, M V9.01 windows 7, and Maple 17.02, windows 7

--------------------
integrand = (Tanh[x] - Cosh[2 x]) Cosh[x] /
(( Sinh[2 x] + Sinh[x]^2) Sqrt[Sinh[2 x]])

optimalAnti =
Sqrt[2] ArcTan[Sech[x] Sqrt[Cosh[x] Sinh[x]]] +
1/6 ArcTan[Sinh[x]/Sqrt[Sinh[2 x]]] -
1/2 Sqrt[2] ArcTanh[Sech[x] Sqrt[Cosh[x] Sinh[x]]] +
Cosh[x]/Sqrt[Sinh[2 x]] (*copied from ref. Albert Rich, page 18*)

Integrate[integrand, x]

-((Coth[x] Sqrt[Sinh[2 x]] (-Cosh[2 x] + Tanh[x]))/(
Cosh[x] + Cosh[3 x] -
2 Sinh[x])) + (Cosh[
x] (-(6 (-1)^(1/4) Sqrt[
1 + Coth[x/
2]^2] (EllipticF[
I ArcSinh[(-1)^(1/4)/Sqrt[Tanh[x/2]]], -1] -
EllipticPi[-(-1)^(1/6),
I ArcSinh[(-1)^(1/4)/Sqrt[Tanh[x/2]]], -1] -
EllipticPi[-(-1)^(5/6),
I ArcSinh[(-1)^(1/4)/Sqrt[Tanh[x/2]]], -1]) Sqrt[
Sinh[2 x]] Sqrt[Tanh[x/2]] Sqrt[
Tanh[x/2] + Tanh[x/2]^3])/((1 + Cosh[x]) Sqrt[
Sinh[2 x]/(1 + Cosh[x])^2] (1 + Tanh[x/2]^2)) + (16 (-1)^(
5/12) ((3 - 3 I Sqrt[3]) EllipticPi[-I,
I ArcSinh[(-1)^(1/4) Sqrt[Tanh[x/2]]], -1] +
2 ((-1 + (-1)^(1/3)) EllipticPi[I,
ArcSin[(-1)^(3/4) Sqrt[Tanh[x/2]]], -1] +
1/2 I (I + Sqrt[3]) EllipticPi[-(-1)^(1/6),
I ArcSinh[(-1)^(1/4) Sqrt[
Tanh[x/2]]], -1] + (-1 + (-1)^(
1/3)) EllipticPi[-(-1)^(5/6),
I ArcSinh[(-1)^(1/4) Sqrt[Tanh[x/2]]], -1])) Sinh[
2 x]^(3/2) Sqrt[
Tanh[x/2] +
Tanh[x/2]^3])/(3 (-I + Sqrt[3]) (1 + Cosh[x])^3 (Sinh[
2 x]/(1 + Cosh[x])^2)^(3/2) Sqrt[Tanh[x/2]] Sqrt[
1 + Tanh[x/2]^2])) (-Cosh[2 x] + Tanh[x]))/(2 (Cosh[x] +
Cosh[3 x] - 2 Sinh[x]))
------------------------

Maple:
restart;
integrand:=(tanh(x) - cosh(2*x))*cosh(x)/(( sinh(2*x)+sinh(x)^2)*sqrt(sinh(2*x)));
int(integrand,x);

-((3/4)*I)*(-I*(tanh((1/2)*x)+I))^(1/2)*2^(1/2)*(I*(tanh((1/2)*x)-I))^(1/2)
*(I*tanh((1/2)*x))^(1/2)*EllipticF((-I*(tanh((1/2)*x)+I))^(1/2), (1/2)
*2^(1/2))/(tanh((1/2)*x)^3+tanh((1/2)*x))^(1/2)+(-1+I)*(-I*(tanh((1/2)*x)+I))^(1/2)
*2^(1/2)*(I*(tanh((1/2)*x)-I))^(1/2)*(I*tanh((1/2)*x))^(1/2)*
EllipticPi((-I*(tanh((1/2)*x)+I))^(1/2), 1/2-(1/2)*I,
(1/2)*2^(1/2))/(tanh((1/2)*x)^3+tanh((1/2)*x))^(1/2)+(-1/3-(1/3)*I)
*(-I*(tanh((1/2)*x)+I))^(1/2)*2^(1/2)*(I*(tanh((1/2)*x)-I))^(1/2)
*(I*tanh((1/2)*x))^(1/2)*EllipticPi((-I*(tanh((1/2)*x)+I))^(1/2),
1/2+(1/2)*I, (1/2)*2^(1/2))/(tanh((1/2)*x)^3+tanh((1/2)*x))^(1/2)+(1/12)*
(sum(-I*_alpha*(-I*(tanh((1/2)*x)+I))^(1/2)*2^(1/2)*(I*(tanh((1/2)*x)-I))^(1/2)*
(I*tanh((1/2)*x))^(1/2)*(I*_alpha+1+I)*EllipticPi((-I*(tanh((1/2)*x)+I))^(1/2),
_alpha+1-I, (1/2)*2^(1/2))/(tanh((1/2)*x)^3+tanh((1/2)*x))^(1/2),
_alpha = RootOf(_Z^2+_Z+1)))+(1/2)*(tanh((1/2)*x)^2+1)/(tanh((1/2)*x)*
(tanh((1/2)*x)^2+1))^(1/2)

Rubi 4.2
-------------
ShowSteps := False;
Int[integrand, x]

(Sqrt[I*Sinh[2*x]]*Int[(Cosh[x]*Cosh[2*x])/((-Sinh[x]^2 - Sinh[2*x])*
Sqrt[I*Sinh[2*x]]), x])/Sqrt[Sinh[2*x]] +
I*Int[(I*Sinh[x])/((-Sinh[x]^2 - Sinh[2*x])*Sqrt[Sinh[2*x]]), x]

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