El profesor se sorprenderá mucho al ver tu solución correcta😉
log(cosh(x)) - log(2) = 0
/ ___\ x1 = log\2 - \/ 3 /
/ ___\ x2 = log\2 + \/ 3 /
x2 = log(sqrt(3) + 2)
suma
/ ___\ / ___\ log\2 - \/ 3 / + log\2 + \/ 3 /
=
/ ___\ / ___\ log\2 + \/ 3 / + log\2 - \/ 3 /
producto
/ ___\ / ___\ log\2 - \/ 3 /*log\2 + \/ 3 /
=
/ ___\ / ___\ log\2 + \/ 3 /*log\2 - \/ 3 /
log(2 + sqrt(3))*log(2 - sqrt(3))