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 ?
>
>

```

• Prev by Date: RE: Summations with Primes
• Next by Date: Re: What's legit here?
• Previous by thread: Re: Re: This should evaluate to zero
• Next by thread: RE: This should evaluate to zero