RE: This should evaluate to zero

*To*: mathgroup at smc.vnet.net*Subject*: [mg39948] RE: [mg39926] This should evaluate to zero*From*: F.H.Simons at tue.nl*Date*: Thu, 13 Mar 2003 03:00:28 -0500 (EST)*Sender*: owner-wri-mathgroup at wolfram.com

It seems to be known that no general algorithm exists for simplification of expressions. Therefore Simplify and FullSimplify are just boxes of tricks that might simplify certain expressions. No matter how large the boxes are, we can always find expressions for which Simplify and FullSimplify will not work. So the boxes are not large enough to simplify your expression. But it can be done by Mathematica: In[27]:= x = ArcSinh[1] - Log[3363 + 2378*Sqrt[2]]/10; Log[Exp[TrigToExp[x]] // FullSimplify] Out[28]= 0 Fred Simons Eindhoven University of Technology > -----Original Message----- > From: jf.alcover at bdpme.fr [mailto:jf.alcover at bdpme.fr] To: mathgroup at smc.vnet.net > Sent: woensdag 12 maart 2003 8:28 > To: mathgroup at smc.vnet.net > Subject: [mg39948] [mg39926] This should evaluate to zero > > > Bonjour, > Methinks that the following expression should evaluate to zero, > but it does not, even with FullSimplify : > ArcSinh[1]-Log[3363+2378*Sqrt[2]]/10 > Could anyone explain ? > >