Google Groups Home
Help | Sign in
comp.soft-sys.math.maple
+ new post
About this group
Subscribe to this group
This is a Usenet group - learn more
An exact simplification challenge - 68 (Sqrt, Log)
Options
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
   6 messages - Collapse all
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Vladimir Bondarenko  
View profile
  More options Jul 24, 12:51 am
Newsgroups: sci.math.symbolic, comp.soft-sys.math.maple, sci.math
From: Vladimir Bondarenko <v...@cybertester.com>
Date: Wed, 23 Jul 2008 21:51:47 -0700 (PDT)
Local: Thurs, Jul 24 2008 12:51 am
Subject: An exact simplification challenge - 68 (Sqrt, Log)
Reply | Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author
Hello,

(48 + Sqrt[3] ArcCosh[2642885282] - 11 Sqrt[3] Log[2] -
10 Sqrt[3] Log[7]  + Log[(2 - Sqrt[3])^(3 Sqrt[-22 + 10
I Sqrt[3]])] + Log[(2 + Sqrt[3])^(15 I)] + Sqrt[3] Log[
578509309952 (7 + 4 Sqrt[3])])/144

                        ?

Best wishes,

Vladimir Bondarenko

Co-founder, CEO, Mathematical Director

http://www.cybertester.com/  Cyber Tester, LLC

-------------------------------------------------------

"We must understand that technologies
like these are the way of the future."

-------------------------------------------------------


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
cliclic...@freenet.de  
View profile
  More options Jul 24, 9:09 am
Newsgroups: sci.math.symbolic, comp.soft-sys.math.maple, sci.math
From: cliclic...@freenet.de
Date: Thu, 24 Jul 2008 06:09:41 -0700 (PDT)
Local: Thurs, Jul 24 2008 9:09 am
Subject: Re: An exact simplification challenge - 68 (Sqrt, Log)
Reply | Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author

Vladimir Bondarenko schrieb:

> (48 + Sqrt[3] ArcCosh[2642885282] - 11 Sqrt[3] Log[2] -
> 10 Sqrt[3] Log[7]  + Log[(2 - Sqrt[3])^(3 Sqrt[-22 + 10
> I Sqrt[3]])] + Log[(2 + Sqrt[3])^(15 I)] + Sqrt[3] Log[
> 578509309952 (7 + 4 Sqrt[3])])/144

>                         ?

Instantaneous result on Derive 6.10: SQRT(3)*LN(SQRT(3)+2)/9 + 1/3.

(I didn't participate in the Meijer G challenges since Derive has zero
intrinsic knowledge of Meijer G and hypergeometric pFq functions.)

Martin.


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
G. A. Edgar  
View profile
  More options Jul 24, 10:17 am
Newsgroups: comp.soft-sys.math.maple
From: "G. A. Edgar" <ed...@math.ohio-state.edu.invalid>
Date: Thu, 24 Jul 2008 10:17:14 -0400
Local: Thurs, Jul 24 2008 10:17 am
Subject: Re: An exact simplification challenge - 68 (Sqrt, Log)
Reply | Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author

> > (48 + Sqrt[3] ArcCosh[2642885282] - 11 Sqrt[3] Log[2] -
> > 10 Sqrt[3] Log[7]  + Log[(2 - Sqrt[3])^(3 Sqrt[-22 + 10
> > I Sqrt[3]])] + Log[(2 + Sqrt[3])^(15 I)] + Sqrt[3] Log[
> > 578509309952 (7 + 4 Sqrt[3])])/144

> >                         ?

Maple 12 ...

> t := convert(`(48 + Sqrt[3] ArcCosh[2642885282] - 11 Sqrt[3] Log[2] -

10 Sqrt[3] Log[7]  + Log[(2 - Sqrt[3])^(3 Sqrt[-22 + 10
I Sqrt[3]])] + Log[(2 + Sqrt[3])^(15 I)] + Sqrt[3] Log[
578509309952 (7 + 4 Sqrt[3])])/144`,FromMma);

1/3+(1/144)*3^(1/2)*arccosh(2642885282)-(11/144)*3^(1/2)*ln(2)-(5/72)*3^
(1/2)*ln(7)+(1/144)*ln((2-3^(1/2))^(3*(-22+(10*I)*3^(1/2))^(1/2)))+(1/14
4)*ln((2+3^(1/2))^(15*I))+(1/144)*3^(1/2)*ln(4049565169664+2314037239808
*3^(1/2))

> convert(t,ln):
> simplify(exp(%)^sqrt(3),symbolic):
> simplify(%^(1/sqrt(3))):
> combine(expand(log(%)));

1/3+(1/9)*3^(1/2)*ln(2+3^(1/2))

--
G. A. Edgar                              http://www.math.ohio-state.edu/~edgar/


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Vladimir Bondarenko  
View profile
  More options Jul 24, 11:05 am
Newsgroups: sci.math.symbolic, comp.soft-sys.math.maple, sci.math
From: Vladimir Bondarenko <v...@cybertester.com>
Date: Thu, 24 Jul 2008 08:05:40 -0700 (PDT)
Local: Thurs, Jul 24 2008 11:05 am
Subject: Re: An exact simplification challenge - 68 (Sqrt, Log)
Reply | Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author
On Jul 24, 6:09 am, cliclic...@freenet.de wrote:

I know that Derive 6.10 cracks this easily (and this is pleasant
for me, so that it was not in vain that I invested my time into
Derive improvement), while Maple 12 and Mathematica 6.0.3 not,
but I expected that someone, maybe you, a Derive fan like me, will
announce this :)

Now so you would not sit without a challenge, I propose you to
simplify this

SQRT(3)*LN(SQRT(3)/2-1/2)/72-SQRT(3)*LN(3*SQRT(3)-5)/18+5*SQRT~
(3)*LN(SQRT(3)+1)/72+1/3-#i*ATAN((COS(-10*SQRT(3)*ACOT(SQRT(3)~
/9)-15*LN(14*SQRT(3)+14))*(COS(-6*SQRT(3)*ACOT(SQRT(3)/9)-3*LN~
(SQRT(3)/2-1/2))*(COS(18*LN(14*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT~
(3)/9))*(SIN(51*LN(2))*COS(33*LN(7))+COS(51*LN(2))*SIN(33*LN(7~
)))+SIN(18*LN(14*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/9))*(SIN(5~
1*LN(2))*SIN(33*LN(7))-COS(51*LN(2))*COS(33*LN(7))))-SIN(-6*SQ~
RT(3)*ACOT(SQRT(3)/9)-3*LN(SQRT(3)/2-1/2))*(COS(18*LN(14*SQRT(~
3)-14)-4*SQRT(3)*ACOT(SQRT(3)/9))*(COS(51*LN(2))*COS(33*LN(7))~
-SIN(51*LN(2))*SIN(33*LN(7)))+SIN(18*LN(14*SQRT(3)-14)-4*SQRT(~
3)*ACOT(SQRT(3)/9))*(SIN(51*LN(2))*COS(33*LN(7))+COS(51*LN(2))~
*SIN(33*LN(7)))))+SIN(-10*SQRT(3)*ACOT(SQRT(3)/9)-15*LN(14*SQR~
T(3)+14))*(COS(-6*SQRT(3)*ACOT(SQRT(3)/9)-3*LN(SQRT(3)/2-1/2))~
*(COS(18*LN(14*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/9))*(COS(51*~
LN(2))*COS(33*LN(7))-SIN(51*LN(2))*SIN(33*LN(7)))+SIN(18*LN(14~
*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/9))*(SIN(51*LN(2))*COS(33*~
LN(7))+COS(51*LN(2))*SIN(33*LN(7))))+SIN(-6*SQRT(3)*ACOT(SQRT(~
3)/9)-3*LN(SQRT(3)/2-1/2))*(COS(18*LN(14*SQRT(3)-14)-4*SQRT(3)~
*ACOT(SQRT(3)/9))*(SIN(51*LN(2))*COS(33*LN(7))+COS(51*LN(2))*S~
IN(33*LN(7)))+SIN(18*LN(14*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/~
9))*(SIN(51*LN(2))*SIN(33*LN(7))-COS(51*LN(2))*COS(33*LN(7))))~
))/(COS(-10*SQRT(3)*ACOT(SQRT(3)/9)-15*LN(14*SQRT(3)+14))*(COS~
(-6*SQRT(3)*ACOT(SQRT(3)/9)-3*LN(SQRT(3)/2-1/2))*(COS(18*LN(14~
*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/9))*(COS(51*LN(2))*COS(33*~
LN(7))-SIN(51*LN(2))*SIN(33*LN(7)))+SIN(18*LN(14*SQRT(3)-14)-4~
*SQRT(3)*ACOT(SQRT(3)/9))*(SIN(51*LN(2))*COS(33*LN(7))+COS(51*~
LN(2))*SIN(33*LN(7))))+SIN(-6*SQRT(3)*ACOT(SQRT(3)/9)-3*LN(SQR~
T(3)/2-1/2))*(COS(18*LN(14*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/~
9))*(SIN(51*LN(2))*COS(33*LN(7))+COS(51*LN(2))*SIN(33*LN(7)))+~
SIN(18*LN(14*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/9))*(SIN(51*LN~
(2))*SIN(33*LN(7))-COS(51*LN(2))*COS(33*LN(7)))))+SIN(-10*SQRT~
(3)*ACOT(SQRT(3)/9)-15*LN(14*SQRT(3)+14))*(SIN(-6*SQRT(3)*ACOT~
(SQRT(3)/9)-3*LN(SQRT(3)/2-1/2))*(COS(18*LN(14*SQRT(3)-14)-4*S~
QRT(3)*ACOT(SQRT(3)/9))*(COS(51*LN(2))*COS(33*LN(7))-SIN(51*LN~
(2))*SIN(33*LN(7)))+SIN(18*LN(14*SQRT(3)-14)-4*SQRT(3)*ACOT(SQ~
RT(3)/9))*(SIN(51*LN(2))*COS(33*LN(7))+COS(51*LN(2))*SIN(33*LN~
(7))))-COS(-6*SQRT(3)*ACOT(SQRT(3)/9)-3*LN(SQRT(3)/2-1/2))*(CO~
S(18*LN(14*SQRT(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/9))*(SIN(51*LN(2~
))*COS(33*LN(7))+COS(51*LN(2))*SIN(33*LN(7)))+SIN(18*LN(14*SQR~
T(3)-14)-4*SQRT(3)*ACOT(SQRT(3)/9))*(SIN(51*LN(2))*SIN(33*LN(7~
))-COS(51*LN(2))*COS(33*LN(7)))))))/72

:-)

Best wishes,

Vladimir Bondarenko

Co-founder, CEO, Mathematical Director

http://www.cybertester.com/  Cyber Tester, LLC

-------------------------------------------------------

"We must understand that technologies
like these are the way of the future."

-------------------------------------------------------


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
alainvergh...@gmail.com  
View profile
  More options Jul 24, 11:43 am
Newsgroups: sci.math.symbolic, comp.soft-sys.math.maple, sci.math
From: alainvergh...@gmail.com
Date: Thu, 24 Jul 2008 08:43:03 -0700 (PDT)
Local: Thurs, Jul 24 2008 11:43 am
Subject: Re: An exact simplification challenge - 68 (Sqrt, Log)
Reply | Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author
On 24 juil, 17:05, Vladimir Bondarenko <v...@cybertester.com> wrote:

Bonsoir,

I do not ever agree with : ""We must *understand* that technologies
like these are the way of the future."
I believe that with these technologies a lot of sane people
will not even understand a word about anything belonging
to their world,

Alain


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
cliclic...@freenet.de  
View profile
  More options Jul 24, 11:51 am
Newsgroups: sci.math.symbolic, comp.soft-sys.math.maple, sci.math
From: cliclic...@freenet.de
Date: Thu, 24 Jul 2008 08:51:12 -0700 (PDT)
Local: Thurs, Jul 24 2008 11:51 am
Subject: Re: An exact simplification challenge - 68 (Sqrt, Log)
Reply | Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author

Vladimir Bondarenko schrieb:

A bit harder, but still easy - it needs some juggling with the
simplification settings:

  [Trigonometry:=Collect, Logarithm:=Collect]
  1/3-SQRT(3)*LN((2-SQRT(3))^(1/9))
  Logarithm:=Auto
  1/3-SQRT(3)*LN(2-SQRT(3))/9

Martin.

PS: But Derive (under my command) failed to fully simplify your
monster challenge

SQRT(6)*SQRT(-SQRT(16*pi^2*LN(35*SQRT(2)+20*SQRT(6)+28*SQRT(3)+49)^2-
pi^2*LN(~
35*SQRT(2)+20*SQRT(6)+28*SQRT(3)+49)*LN(39676544842648812819656987893106582 20~
572212595135191362121484088486083360*SQRT(2)+323957632070483573477109482485 49~
50687594346152507722273751834468297053056*SQRT(3)+2290726384541754990282841 57~
8360115154299405761187724567354303143178465280*SQRT(6)+56111107824578229527 10~
[.......................................................................... .]
2*pi^2)+LN(2)*LN(1853020188851841)*(144*LN(2)^2+47*pi^2)+2304*LN(2)^4+2209* pi~
^2*LN(2)^2)-
LN(SQRT(3)-1)*LN(184141500186093409798577801761927946149371551404~
77097961418915840*SQRT(3)+3189424341042676588709569647979458207540992344949 20~
25397756297216)-48*LN(SQRT(3)-1)^2+LN(3)*LN(447127149604363042816-258148980 18~
6069073920*SQRT(3))-48*LN(SQRT(3)+1)^2+12*LN(3)^2+48*LN(2)^2)/12

The result of the automatic simplification is recalcitrant:
SQRT(6)*SQRT(-SQRT(-pi^2*LN(2-
SQRT(3))*(12*LN(SQRT(2)+1)+LN(2))-4*pi^2*LN(SQR~
T(15*SQRT(2)+21)+2*SQRT(5*SQRT(2)+7))^2-144*LN(2)^2*LN(11*SQRT(3)-19)^2-4*p i^~
2*LN(12-6*SQRT(3))*LN(3*SQRT(3)-5)+144*LN(SQRT(3)-1)^4+576*LN(SQRT(3)+1)*LN (S~
QRT(3)-1)^3+4*LN(SQRT(3)-1)^2*(216*LN(SQRT(3)+1)^2-18*LN(3)^2+252*LN(2)^2+6 5*~
pi^2)+LN(SQRT(3)-1)*(576*LN(SQRT(3)+1)^3-16*LN(SQRT(3)+1)*(9*LN(3)^2+4*(36* LN~
(2)^2-5*pi^2))+32*pi^2*LN(3)-377*pi^2*LN(2))
+144*LN(SQRT(3)+1)^4-4*LN(SQRT(3)~
+1)^2*(18*LN(3)^2-72*LN(2)^2-25*pi^2)+5*pi^2*LN(SQRT(3)+1)*(4*LN(3)-47*LN(2 ))~
+9*pi^2*LN(SQRT(2)+1)^2+9*LN(3)^4+72*LN(2)^2*LN(3)^2-24*pi^2*LN(2)*LN(3)+14 4*~
LN(2)^4+138*pi^2*LN(2)^2)-12*LN(SQRT(3)-1)^2-24*LN(SQRT(3)+1)*LN(SQRT(3)-1) -1~
2*LN(SQRT(3)+1)^2+3*LN(3)^2+12*LN(2)^2)/6+SQRT(6)*SQRT(SQRT(-pi^2*LN(2-
SQRT(3~
))*(12*LN(SQRT(2)+1)+LN(2))-4*pi^2*LN(SQRT(15*SQRT(2)+21)+2*SQRT(5*SQRT(2)+ 7)~
)^2-144*LN(2)^2*LN(11*SQRT(3)-19)^2-4*pi^2*LN(12-6*SQRT(3))*LN(3*SQRT(3)-5) +1~
44*LN(SQRT(3)-1)^4+576*LN(SQRT(3)+1)*LN(SQRT(3)-1)^3+4*LN(SQRT(3)-1)^2*(216 *L~
N(SQRT(3)+1)^2-18*LN(3)^2+252*LN(2)^2+65*pi^2)+LN(SQRT(3)-1)*(576*LN(SQRT(3 )+~
1)^3-16*LN(SQRT(3)+1)*(9*LN(3)^2+4*(36*LN(2)^2-5*pi^2))
+32*pi^2*LN(3)-377*pi^~
2*LN(2))
+144*LN(SQRT(3)+1)^4-4*LN(SQRT(3)+1)^2*(18*LN(3)^2-72*LN(2)^2-25*pi^2~
)+5*pi^2*LN(SQRT(3)+1)*(4*LN(3)-47*LN(2))
+9*pi^2*LN(SQRT(2)+1)^2+9*LN(3)^4+72~
*LN(2)^2*LN(3)^2-24*pi^2*LN(2)*LN(3)+144*LN(2)^4+138*pi^2*LN(2)^2)-12*LN(SQ RT~
(3)-1)^2-24*LN(SQRT(3)+1)*LN(SQRT(3)-1)-12*LN(SQRT(3)+1)^2+3*LN(3)^2+12*LN( 2)~
^2)/6

Do you know how to proceed?


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google