1/2*e^{1/2*(e^x+e^(-x)}
はもう少しきれいな式に変形できますか?