antiderivative of (sqrt(1-x%5E2) - 2%2F3)