While solving a simple puzzle that asked for a few calculations in plane geometry, I ended up with this expression:
-55/2 + Sqrt/2 + (55 - Sqrt)/2
Obviously, the result is an exact
0. But the expression just sits there (Mathematica 10.1.0 64-bit, Win7) and looks at me challengingly instead of being evaluated to zero. Let's help it along a little:
-55/2 + Sqrt/2 + (55 - Sqrt)/2 // Apart (* 0 *)
Simplify and probably a bunch of other functions deliver the same small incentive that Mathematica needs to get cracking. But the original expression that I encountered was larger, and the relevant portion was this (note the absolute-value function):
Abs[-55/2 + Sqrt/2 + (55 - Sqrt)/2]
Expected result: Still 0, of course. Actual result:
N::meprec: "Internal precision limit $MaxExtraPrecision = 50.` reached while evaluating -(55/2)+Sqrt/2+1/2 (55-Sqrt)."
Together or any other operation to the expression inside
Abs will make this work, as long as the expression's structure is changed in some way, as that will collapse the expression to zero.
What puzzles me is why Mathematica wouldn't evaluate it on its own? I always thought that Mathematica does an automatic "light-weight Simplify", so to speak, which would cover such a simple case.
The real question is, though, whether this is a bug. After all, unless I manually start editing intermediate results, this perfectly good evaluatable expression remains unevaluated, botching the rest of my puzzle solution. :)