TeX source:
v'(x)=-\sin x