0からlog(1+√2)の範囲で((e^x-e^(-x))/2)^3((e^x+e^(-x))/2)^11を積分