The Math Forum

Search All of the Math Forum:

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

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

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

Topic: Charlwood Fifty test results
Replies: 16   Last Post: Sep 19, 2013 10:09 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Albert D. Rich

Posts: 311
From: Hawaii Island
Registered: 5/30/09
Re: Charlwood Fifty test results
Posted: Jul 5, 2013 7:46 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Friday, July 5, 2013 11:15:41 AM UTC-10, wrote:

> Nice. Only for Charlwood's problem 44 does Rubi 4.1 (complex domain)
> fall behind Derive 6.10 (real domain). I am not surprised that problems
> 3 and 45 are not handled by Rubi. But why is problem 41 untractable?
> Martin.

Thanks for your compliment of the Charlwood Fifty test results I posted. Problem #41 is

integrate(log(sin(x)) sqrt(1+sin(x)), x)

Rubi starts correctly (I think) using integration by parts that gives the log free integral

integrate(cos(x) cot(x)/sqrt(1+sin(x)), x)

Unfortunately Rubi and the other systems tested cannot determine that its antiderivative is

2 cos(x)/sqrt(1+sin(x)) ? 2 arctanh(cos(x)/sqrt(1+sin(x)))

Obviously since its antiderivative is a function of cos(x)/sqrt(1+sin(x)), the log free integral above can be integrated by making the substitution u=cos(x)/sqrt(1+sin(x)) yielding the trivial integral

integrate(2-2/(1-u^2), x)

Any ideas how a rule-based system like Rubi should ?know? to make that substitution?


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

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.