dx/dt = cos[x]