y=sinxcosx differentiated, product rule version