integral (dx)/(sqrt(a^2-x^2))=arcsin x/a + const