integrate of arcsin^2(x)