What is the antiderivative of #(sinx)*(cosx)#?