∫√(a^2-x^2)dx
=[x/2*√(a^2-x^2)+a^2/2*arcsinx/a]