∫[0,log(2+√3)](e^t-e^(-t))^2dt
だった