TeX source:
y'(0)=0