ddx sinx-1sin⁡x+1