exp(x) - 2cosh(x/4) = 0
の解xは近似しないで求められますか？お願いします。