What is the antiderivative of #sin2x#?