integral from 0 to log(1+sqrt(2)) of ((e^x-e^-x)/2)^3 * ((e^x+e^-x)/2)^11 dx