I have been using simplify() in number of places, and not really expecting it will do any harm. At worst, it will have no effect, or it will change the expression to different form, but the semantics will remain the same.
Until I noticed that odetest() fail on some of my solutions because I called simplify on the solution before.
One example why this happens, is that Maple simplifies cos(2*x)*sqrt(1/cos(2*x)^2) to csgn(1/cos(2*x)) and this makes odetest fail. Adding assuming x::real has no effect on making odetest happy.
So now I changed simplify(sol) to simplify(sol,size) and this seems so far not to have this adverse effect.
My main reason for calling simplify is to make the expression smaller. In Mathematica that is what I do, In Mathematica there is no "size" option to Simplify.
So now, I am very worried about calling simplify() as is.
Could some Maple experts share some of their experience on this? Should one call simplify() only when an explicit option, like size, trig, exp, etc....is also used and not call simplify as is?