先对cost求导,再对t=√x求导
即：
-sin√x*1/(2√x)=-1/(2√x)sin√x