The tsimplify command simplifies transcendental expressions
by rewriting the expression with complex exponentials. It is a good
idea to try other simplification instructions and call
tsimplify if they do not work.
tsimplify takes one argument: expr, an expression.
tsimplify(expr) returns a
(possibly) simplified version of expr.