Input: simplify(tosum(exp(x)))
Write: `simplify(tosum(exp(x)))`
Output: $$ simplify :\\ \ convert \ to \ sum :\\ \ exp(x) == exp(x) $$ Result:$$exp(x)$$