integrate 4/(sinx*sqrt(1+x^2)) 0 to 1