Talk About Network

Google


Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Education > Math Recreational > An exact simpli...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 1 of 11 Topic 2758 of 2821
Post > Topic >>

An exact simplification challenge - 57 (arctangents) - Proud

by Vladimir Bondarenko <vb@[EMAIL PROTECTED] > Apr 26, 2008 at 01:36 AM

Hello computer algebra Buff the Earthling,

You've spotted that we keep preparing for the Ultimate Battle...
Now you?  Ready to fight for our C12-based Human Civilization?

(If not, think again, and get ready!)

The Last Combat against the bad (striped!) Computers is near!

As Field Marshal Suvorov teaches us, Train hard, fight easy!
(don't give your little gray cells to get too slow... or else
the wicked (striped!) Computers will rob us!)

So, is there a Valiant Warrior the Simplifier to invent a string
of CAS commands to squeeze (20+ times) this expression

-(1/120*(30-6*5^(1/2))^(1/2)+1/120*5^(1/2)-1/40)*arctan((8*(30-6
*5^(1/2))^(1/2)-8*5^(1/2)-8)/(8*(10-2*5^(1/2))^(1/2)+8*3^(1/2)*(
5^(1/2)+1)))+(1/120*(30-6*5^(1/2))^(1/2)-1/120*5^(1/2)+1/40)*arc
tan((8*(30-6*5^(1/2))^(1/2)+8*5^(1/2)+8)/(8*(10-2*5^(1/2))^(1/2)
-8*3^(1/2)*(5^(1/2)+1)))-(1/120*(30+6*5^(1/2))^(1/2)+1/120*5^(1/
2)+1/40)*arctan((8*(30+6*5^(1/2))^(1/2)-8*5^(1/2)+8)/(8*(10+2*5^
(1/2))^(1/2)+8*3^(1/2)*(5^(1/2)-1)))-(1/120*(30+6*5^(1/2))^(1/2)
-1/120*5^(1/2)-1/40)*arctan((8*(30+6*5^(1/2))^(1/2)+8*5^(1/2)-8)
/(8*(10+2*5^(1/2))^(1/2)-8*3^(1/2)*(5^(1/2)-1)))+(1/240*(30+6*5^
(1/2))^(1/2)+1/240*5^(1/2)+1/80)*arctan(((10-2*5^(1/2))^(1/2)+3^
(1/2)*(5^(1/2)+1))/((30-6*5^(1/2))^(1/2)-5^(1/2)-1))+(1/240*(30+
6*5^(1/2))^(1/2)-1/240*5^(1/2)-1/80)*arctan(((10-2*5^(1/2))^(1/2
)-3^(1/2)*(5^(1/2)+1))/((30-6*5^(1/2))^(1/2)+5^(1/2)+1))-(1/240*
(30-6*5^(1/2))^(1/2)-1/240*5^(1/2)+1/80)*arctan(((10+2*5^(1/2))^
(1/2)+3^(1/2)*(5^(1/2)-1))/((30+6*5^(1/2))^(1/2)-5^(1/2)+1))+(1/
240*(30-6*5^(1/2))^(1/2)+1/240*5^(1/2)-1/80)*arctan(((10+2*5^(1/
2))^(1/2)-3^(1/2)*(5^(1/2)-1))/((30+6*5^(1/2))^(1/2)+5^(1/2)-1))
+Pi*(1/24*(15+6*5^(1/2))^(1/2)+7/120*5^(1/2)+1/10)

                          ?
Best wishes,

Vladimir Bondarenko

VM and GEMM architect
Co-founder, CEO, Mathematical Director

http://www.cybertester.com/
 Cyber Tester, LLC
http://maple.bug-list.org/
  Maple Bugs Encyclopaedia
http://www.CAS-testing.org/
 CAS Testing

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

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

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




 11 Posts in Topic:
An exact simplification challenge - 57 (arctangents) - Proud
Vladimir Bondarenko <v  2008-04-26 01:36:16 
Re: An exact simplification challenge - 57 (arctangents) - Proud
clicliclic@[EMAIL PROTECT  2008-04-26 02:30:57 
Re: An exact simplification challenge - 57 (arctangents) - Proud
clicliclic@[EMAIL PROTECT  2008-04-26 02:36:19 
Re: An exact simplification challenge - 57 (arctangents) - Proud
Vladimir Bondarenko <v  2008-04-26 02:50:25 
Re: An exact simplification challenge - 57 (arctangents) - Proud
clicliclic@[EMAIL PROTECT  2008-04-26 05:07:57 
Re: An exact simplification challenge - 57 (arctangents) - Proud
Vladimir Bondarenko <v  2008-04-26 06:50:47 
Re: An exact simplification challenge - 57 (arctangents) - Proud
Peter Pein <petsie@[EM  2008-04-26 22:55:08 
Re: An exact simplification challenge - 57 (arctangents) - Proud
Peter Pein <petsie@[EM  2008-04-26 22:58:50 
Re: An exact simplification challenge - 57 (arctangents) - Proud
clicliclic@[EMAIL PROTECT  2008-04-26 11:55:37 
Re: An exact simplification challenge - 57 (arctangents) - Proud
SzH <szhorvat@[EMAIL P  2008-04-26 13:45:19 
Re: An exact simplification challenge - 57 (arctangents) - Proud
SzH <szhorvat@[EMAIL P  2008-04-26 13:55:23 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup

Contact
tan12V112 Wed Jul 9 2:00:01 CDT 2008.