How do you find the antiderivative of #sin(x)cos(x)#?