derivative of cos(x+1)/(x^2+3)