Question: How do I make full simplification of expressions?

I am using Maple 12.

I often try to simply expressions, but I found that very often I must manually guide the simplification procedure.  For example a result from inverse laplace trasformation is:

Ssi(t)+pi/2

But this, by definition, equals Si(t).

However, the function simplify doesn't work for such a purpose.  Also in many other cases the function 'simplify' don't work without human guide.

Is there a way to cause Maple try very hard to find the minimal size expression?

Please Wait...