Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math.symbolic.independent

Topic: The Charlwood Fifty
Replies: 52   Last Post: Jun 24, 2013 10:24 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
clicliclic@freenet.de

Posts: 978
Registered: 4/26/08
Re: The Charlwood Fifty
Posted: Jun 17, 2013 12:11 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


"Nasser M. Abbasi" schrieb:
>
> On 6/16/2013 11:30 AM, clicliclic@freenet.de wrote:

> >
>
> >
> > Oops, this should have read:
> >
> > INT(COS(x)^2/SQRT(COS(x)^4 + COS(x)^2 + 1), x) =
> > = x/3 + 1/3*ATAN(SIN(x)*COS(x)*(COS(x)^2 + 1)
> > /(COS(x)^2*SQRT(COS(x)^4 + COS(x)^2 + 1) + 1))
> >

>
> fyi, for the above, which #5, the LeafCount is 45
>
> ---------------------------------------
>
> f1= x/3+1/3*ArcTan[Sin[x]*Cos[x]*(Cos[x]^2+1)/(Cos[x]^2*Sqrt[Cos[x]^4+Cos[x]^2+1]+1)];
>
> LeafCount[f1]
> -----------------------------------------
> 45
>
> For the one listed in the table, it is 37:
>
> ------------------------------------------
>
> f0 =(-ArcSin[Cos[x]^3]*Sqrt[1-Cos[x]^6]*Csc[x])/(3*Sqrt[1+Cos[x]^2+Cos[x]^4]);
>
> LeafCount[f0]
>
> Out[13]= 37
> ---------------------------------------
>
> I was wondering: assuming both antiderivates contain
> just elemetary functions, can one then use the leaf count as a
> measure of which is most optimal answer? Or will there
> be other considerations one should look at or better
> way to measure which one is more "optimal" than the
> other?
>
> reference:
> http://reference.wolfram.com/mathematica/ref/LeafCount.html
>


Apart from the compactness of antiderivatives, as measured by leaf
counting, continuity on the real axis and absence of complex
intermediate results when evaluated on the real axis (which implies
absence of the imaginary unit) are important in my view, and usually
take precedence over compactness.

Thus, my 45-leafed result is fully continuous along the real axis,
whereas the shorter ATAN alternative:

INT(COS(x)^2/SQRT(COS(x)^4 + COS(x)^2 + 1), x) =
= - 1/3*ATAN(COT(x)*COS(x)^2/SQRT(COS(x)^4 + COS(x)^2 + 1))

as well as Albert's 37-leafed ASIN version:

INT(COS(x)^2/SQRT(COS(x)^4 + COS(x)^2 + 1), x) =
= - ASIN(COS(x)^3)*SQRT(1 - COS(x)^6)*CSC(x)
/(3*SQRT(1 + COS(x)^2 + COS(x)^4))

jump at x = -pi, 0, pi, etc. This constitutes an unnecessary obstacle in
definite integration - imagine some quantity integrated along the path
of an orbiting spacecraft.

I usually accept logarithmic evaluations like INT(1/x, x) = LN(x), which
can be complex where the integrand is real (here for x < 0). I think
that users (e.g. calculus students) who need this integral from x = -2
to x = -1, say, should be able to accept that constants involving some
formal quantity #i appear which drop out of the final result.

Martin.


Date Subject Author
5/23/13
Read The Charlwood Fifty
Albert D. Rich
5/23/13
Read Re: The Charlwood Fifty
Nasser Abbasi
5/23/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/16/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/16/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/17/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/17/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/17/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/17/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/17/13
Read Re: The Charlwood Fifty
Waldek Hebisch
6/18/13
Read Re: The Charlwood Fifty
Albert D. Rich
6/24/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/24/13
Read Re: The Charlwood Fifty
Albert D. Rich
5/23/13
Read Re: The Charlwood Fifty
Albert D. Rich
5/23/13
Read Re: The Charlwood Fifty
Waldek Hebisch
5/24/13
Read Re: The Charlwood Fifty
Andreas Dieckmann
5/25/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/1/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/3/13
Read Re: The Charlwood Fifty
Albert D. Rich
6/6/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/6/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/6/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/8/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/8/13
Read Re: The Charlwood Fifty
Albert D. Rich
6/8/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/8/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/9/13
Read Re: The Charlwood Fifty
Albert D. Rich
6/9/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/9/13
Read Re: The Charlwood Fifty
Albert D. Rich
6/9/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/10/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/10/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/10/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/12/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/13/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/13/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/13/13
Read Re: The Charlwood Fifty
Waldek Hebisch
6/13/13
Read Re: The Charlwood Fifty
Nasser Abbasi
6/13/13
Read Re: The Charlwood Fifty
Waldek Hebisch
6/14/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/14/13
Read Re: The Charlwood Fifty
Waldek Hebisch
6/14/13
Read Re: The Charlwood Fifty / Sage and sympy
Richard Fateman
6/14/13
Read Re: The Charlwood Fifty
clicliclic@freenet.de
6/9/13
Read Re: The Charlwood Fifty and Macsyma
Richard Fateman
6/9/13
Read Re: The Charlwood Fifty and Macsyma
Albert D. Rich
6/9/13
Read Re: The Charlwood Fifty, another Macsyma result
Richard Fateman
6/9/13
Read Re: The Charlwood Fifty, another Macsyma result
Albert D. Rich
6/10/13
Read Re: The Charlwood Fifty, another Macsyma result
Richard Fateman
6/10/13
Read Re: The Charlwood Fifty, another Macsyma result
clicliclic@freenet.de
6/10/13
Read Re: The Charlwood Fifty, another Macsyma result
Waldek Hebisch
6/11/13
Read Re: The Charlwood Fifty, another Macsyma result
Nasser Abbasi
6/11/13
Read Re: The Charlwood Fifty, another Macsyma result
clicliclic@freenet.de
6/11/13
Read Re: The Charlwood Fifty, another Macsyma result
Nasser Abbasi

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.