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 ]
 clicliclic@freenet.de Posts: 1,245 Registered: 4/26/08
Re: The A. F. Timofeev symbolic integration test suite
Posted: Nov 16, 2013 7:47 AM

"Nasser M. Abbasi" schrieb:
>
> 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.
> >

>
> 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]

Good grief!

Martin.

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