cos(x+1)/(x^2+3) 的导数