derivative of log(sin2x/cos(x/2)) + x