int_{arcsin[e^(-sqrt(2))/2]}^(pi/6) dt