cos(x+1)/(x^2+3)の導関数