Verify the differentiation formula.

d/dx[arcsin u] = u'/(sq. rt. (1-u^2))