ddx sinx-1sinx+1