EXPA) and transcental presimplification (TEXPA,
EXPLIN, TRIGLIN, TRIGSIN, TRIGCOS, ...,
LNCOLC, TSIMP).
In many
situations, full rational simplification achieve the whole simplification,
but sometimes you will need to detect relations between exponentials and
logarithms; in this situation you should call TEXPA, TRIGLIN,
..., TSIMP, followed
by EXPA or COLC to finish the simplification.