integral of arcsin(sin(x))