What is the integral of #sin(x) cos(x)#?