What is the derivative of sinx-x/2?