integral 0 to 0.25 arcsin(rootx) dx