What is the derivative of sinx-x/2sinxx2?