derivative of sin(x)/2