Input: exp(x) + exp(-x)=4
Write: `exp(x) + exp(-x)=4`
Output: $$ solve(exp(x)+exp((-x))=4) == acosh(2) $$ Result:$$acosh(2)$$