Result: `cosh ^(-1) (1/2)`
`solve(exp(x)+exp((-x))=1)` == `cosh ^(-1) (1/2)`
Usual keywords are lowercase, which are different from uppercase, e.g. beta is different from Beta. If you cannot get result, please click the
button, or try it tomorrow. Please feedback your problem,
read its example and manual of symbolic computation Computer Algebra System.