What is the antiderivative of sin2x?