dx = cos x.