What is the antiderivative of sinxx?