antiderivative cos(x)sin(x)