What is the antiderivative of #x sin (x/2)#?