integrate log (2x) * (arcsin x)^2/x dx from x=0 to 1/2